diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-23 12:37:44 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-23 12:37:44 +0700 |
commit | 68636887891036a2ebd77fa0397afd7da91a551a (patch) | |
tree | 513be6708b8696ad51e84c124b45fd8244cf81af /src/sat/bmc/bmc.h | |
parent | ac1207abea41ad9d3dd304cdc9a10a899eb8cbcc (diff) | |
download | abc-68636887891036a2ebd77fa0397afd7da91a551a.tar.gz abc-68636887891036a2ebd77fa0397afd7da91a551a.tar.bz2 abc-68636887891036a2ebd77fa0397afd7da91a551a.zip |
Enabled detecting CEXes in multiple POs without stopping (sim3 -a).
Diffstat (limited to 'src/sat/bmc/bmc.h')
-rw-r--r-- | src/sat/bmc/bmc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h index 7cc5637b..bac4a2dd 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -54,6 +54,7 @@ struct Saig_ParBmc_t_ int nFfToAddMax; // max number of flops to add during CBA int fSkipRand; // skip random decisions int fVerbose; // verbose + int fNotVerbose; // skip line-by-line print-out int iFrame; // explored up to this frame int nFailOuts; // the number of failed outputs }; |