diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-17 17:00:31 +0900 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-17 17:00:31 +0900 |
| commit | bc6c0837a18e21b4fbcb6e43c8328f42614e9277 (patch) | |
| tree | d4f610c6dc6828160ade4ebfe5a22ff337fe9c6d /src/sat/bmc/bmc.h | |
| parent | b1aabead5d5d73a040f9fcbd0526febc61820176 (diff) | |
| download | abc-bc6c0837a18e21b4fbcb6e43c8328f42614e9277.tar.gz abc-bc6c0837a18e21b4fbcb6e43c8328f42614e9277.tar.bz2 abc-bc6c0837a18e21b4fbcb6e43c8328f42614e9277.zip | |
Adding support for dumping faults not detected by a given test-set in &fftest (switch -n).
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 14ffec12..b0a9210d 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -137,6 +137,7 @@ struct Bmc_ParFf_t_ int fDump; int fDumpDelay; int fDumpUntest; + int fDumpNewFaults; int fVerbose; }; |