diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-28 16:55:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-28 16:55:25 -0700 |
| commit | 9e1765216ba5f64d89a0dc93e33fb95c84a0c779 (patch) | |
| tree | a3a35a93e30f5e22f22ee0a8fd51f5d12107d23a /src/proof/int/intInt.h | |
| parent | 266667d8b231721c060495e7fb737e35bfbe575b (diff) | |
| download | abc-9e1765216ba5f64d89a0dc93e33fb95c84a0c779.tar.gz abc-9e1765216ba5f64d89a0dc93e33fb95c84a0c779.tar.bz2 abc-9e1765216ba5f64d89a0dc93e33fb95c84a0c779.zip | |
Added option 'int -I <filename>' to specify file names to dump invariants.
Diffstat (limited to 'src/proof/int/intInt.h')
| -rw-r--r-- | src/proof/int/intInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/int/intInt.h b/src/proof/int/intInt.h index 85b9bfa2..bf591b7a 100644 --- a/src/proof/int/intInt.h +++ b/src/proof/int/intInt.h @@ -69,6 +69,7 @@ struct Inter_Man_t_ int nConfCur; // the current number of conflicts int nConfLimit; // the limit on the number of conflicts int fVerbose; // the verbosiness flag + char * pFileName; // runtime clock_t timeRwr; clock_t timeCnf; |