diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-01 15:36:39 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-05-01 15:36:39 -0700 |
commit | 2140c5d980cafc6d3daece9e6f2e04dc3cc1fb44 (patch) | |
tree | c2f0b8777d70bfe99e0803f2d65afaad6dc1084f /src/aig/saig/saig.h | |
parent | e4d0f4715a4dce9eb14a0380a669a67a2c0a6616 (diff) | |
download | abc-2140c5d980cafc6d3daece9e6f2e04dc3cc1fb44.tar.gz abc-2140c5d980cafc6d3daece9e6f2e04dc3cc1fb44.tar.bz2 abc-2140c5d980cafc6d3daece9e6f2e04dc3cc1fb44.zip |
Updating testcext to ignore the diff in register count and other things.
Diffstat (limited to 'src/aig/saig/saig.h')
-rw-r--r-- | src/aig/saig/saig.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h index 62ac35ac..c21ac625 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -62,6 +62,7 @@ struct Saig_ParBmc_t_ int nFramesMax; // maximum number of timeframes int nConfLimit; // maximum number of conflicts at a node int nTimeOut; // approximate timeout in seconds + int nPisAbstract; // the number of PIs to abstract int fSolveAll; // does not stop at the first SAT output int fDropSatOuts; // replace sat outputs by constant 0 int fVerbose; // verbose |