projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26fc273) | patch
Avoid spurious runs in run_regression.py (#6318)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 9 Apr 2021 13:25:04 +0000 (08:25 -0500)
committerGitHub <noreply@github.com>
Fri, 9 Apr 2021 13:25:04 +0000 (13:25 +0000)
commit40abcb2a5cdd63b331446da6feae0148ad8bb2c5
tree5ca118ee559e54e751072073169249676c608adatree
parent26fc2731dc0366a70c5145571ff4d2c460b3148fcommit | diff
Avoid spurious runs in run_regression.py (#6318)

The options --check-synth-sol and --check-abducts are independent from the rest of the solver. Hence, it is not necessary to run with/without them enabled in our regressions.

This saves roughly 30-40 seconds on regression regress0-2.
test/regress/run_regression.py diff | blob | history