diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-16 18:34:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-16 18:34:06 -0700 |
| commit | 0145b0ca724ba866480a3edcc1292cdf04117d6f (patch) | |
| tree | d8a88df537ad7e85be08ffac540d2ca88b58800e /src/bdd/extrab/module.make | |
| parent | d944384d9e2d39d022fbd338ba99d9b6e7b8e982 (diff) | |
| download | abc-0145b0ca724ba866480a3edcc1292cdf04117d6f.tar.gz abc-0145b0ca724ba866480a3edcc1292cdf04117d6f.tar.bz2 abc-0145b0ca724ba866480a3edcc1292cdf04117d6f.zip | |
Moving BDD-based threshold function detection to the BDD part of the code.
Diffstat (limited to 'src/bdd/extrab/module.make')
| -rw-r--r-- | src/bdd/extrab/module.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bdd/extrab/module.make b/src/bdd/extrab/module.make index 38cdddb6..8369315c 100644 --- a/src/bdd/extrab/module.make +++ b/src/bdd/extrab/module.make @@ -4,5 +4,6 @@ SRC += src/bdd/extrab/extraBddAuto.c \ src/bdd/extrab/extraBddKmap.c \ src/bdd/extrab/extraBddMisc.c \ src/bdd/extrab/extraBddSymm.c \ + src/misc/extra/extraBddThresh.c \ src/bdd/extrab/extraBddTime.c \ src/bdd/extrab/extraBddUnate.c |