diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-29 10:28:20 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-29 10:28:20 -0700 |
commit | 14f69d77fde5e0c9f8f8f58c5baa6cb0359d34ae (patch) | |
tree | 12babcac072ddd7a68513f4e537d3518a6403c35 /src/sat/bmc/bmc.h | |
parent | c78e7ca718521f242199b2685ba7eab626a8cdd8 (diff) | |
download | abc-14f69d77fde5e0c9f8f8f58c5baa6cb0359d34ae.tar.gz abc-14f69d77fde5e0c9f8f8f58c5baa6cb0359d34ae.tar.bz2 abc-14f69d77fde5e0c9f8f8f58c5baa6cb0359d34ae.zip |
Adding per-output logging to bmc3.
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 b3e2d8e8..0bc7bb3f 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -65,6 +65,7 @@ struct Saig_ParBmc_t_ int nLearnedPerce; // ratio of learned clause limit int fVerbose; // verbose int fNotVerbose; // skip line-by-line print-out + char * pLogFileName; // log file name int fSilent; // completely silent int iFrame; // explored up to this frame int nFailOuts; // the number of failed outputs |