diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 18:40:09 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 18:40:09 +0700 |
commit | 267f61164aac2a22409fd89364f38e7b7082e7d8 (patch) | |
tree | 976e59e7021c47ee83b1655d0c2149f200f2510e /src/aig/ssw/module.make | |
parent | ee261ef3f21851ea8aab05c89f81fdab8c3f5c71 (diff) | |
download | abc-267f61164aac2a22409fd89364f38e7b7082e7d8.tar.gz abc-267f61164aac2a22409fd89364f38e7b7082e7d8.tar.bz2 abc-267f61164aac2a22409fd89364f38e7b7082e7d8.zip |
Changes to enable smarter simulation.
Diffstat (limited to 'src/aig/ssw/module.make')
-rw-r--r-- | src/aig/ssw/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/ssw/module.make b/src/aig/ssw/module.make index 9d93fb93..b6b813b1 100644 --- a/src/aig/ssw/module.make +++ b/src/aig/ssw/module.make @@ -11,6 +11,7 @@ SRC += src/aig/ssw/sswAig.c \ src/aig/ssw/sswMan.c \ src/aig/ssw/sswPart.c \ src/aig/ssw/sswPairs.c \ + src/aig/ssw/sswRarity.c \ src/aig/ssw/sswSat.c \ src/aig/ssw/sswSemi.c \ src/aig/ssw/sswSim.c \ |