diff options
Diffstat (limited to 'src/util/options.cpp')
| -rw-r--r-- | src/util/options.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/options.cpp b/src/util/options.cpp index 36033db0b..e41959da2 100644 --- a/src/util/options.cpp +++ b/src/util/options.cpp @@ -619,7 +619,8 @@ throw(OptionException) { } else if(!strcmp(optarg, "clauses")) { } else if(!strcmp(optarg, "t-conflicts") || !strcmp(optarg, "t-lemmas") || - !strcmp(optarg, "t-explanations")) { + !strcmp(optarg, "t-explanations") || + !strcmp(optarg, "bv-rewrites")) { // These are "non-state-dumping" modes. If state (SAT decisions, // propagations, etc.) is dumped, it will interfere with the validity // of these generated queries. |