diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-04-16 16:03:31 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-16 16:03:31 -0700 |
commit | a66a1915cb12faa18ac806d83b4fc2aae18426aa (patch) | |
tree | 61f056aa58b86e151121eed6e6ba86db64f56f0c /test/regress/regress1/decision | |
parent | 7b9b6b9cfbe813812b0de7ba20f2c1d8cc060e63 (diff) |
Disable check proofs/unsat cores for two regs (#1785)
Disabling proof checking/unsat core checking for the two benchmarks in
question, reduces the time to run regressions significantly. After the
change, regression level 2 takes 7m30s to run on my machine and
regression level 1 takes just below 3m (16 threads). Individually, the
tests take over 7m each when checking proofs/unsat cores, so they add
significant overhead.
Diffstat (limited to 'test/regress/regress1/decision')
-rw-r--r-- | test/regress/regress1/decision/quant-symmetric_unsat_7.smt2.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress1/decision/quant-symmetric_unsat_7.smt2.expect b/test/regress/regress1/decision/quant-symmetric_unsat_7.smt2.expect index 7fd1d5a98..9d6ac53ca 100644 --- a/test/regress/regress1/decision/quant-symmetric_unsat_7.smt2.expect +++ b/test/regress/regress1/decision/quant-symmetric_unsat_7.smt2.expect @@ -1,2 +1,2 @@ -% COMMAND-LINE: --decision=justification +% COMMAND-LINE: --no-check-proofs --no-check-unsat-cores --decision=justification % EXPECT: unsat |