projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7fd8a7) | patch
Make several regressions faster (#7769)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 8 Dec 2021 19:25:37 +0000 (13:25 -0600)
committerGitHub <noreply@github.com>
Wed, 8 Dec 2021 19:25:37 +0000 (19:25 +0000)
commitd6d3f74ebff704675aa941ac9eeafa97bad662db
treeb1d256ff2957da6bab5135dc66b8220effb96665tree
parente7fd8a7af69c52dcbd4faf8e1132a85be578ae90commit | diff
Make several regressions faster (#7769)

This makes several slow regressions faster, mostly by changing options. It changes a strings regression to be faster by making it smaller.

This should avoid timeouts on https://cvc5-buildbot.stanford.edu/.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress2/strings/strings-alpha-card-129.smt2 [deleted file] blob | history
test/regress/regress2/strings/strings-alpha-card-65.smt2 [new file with mode: 0644] blob
test/regress/regress2/sygus/multi-udiv.sy diff | blob | history
test/regress/regress2/sygus/sets-fun-test.sy diff | blob | history
test/regress/regress2/sygus/three.sy diff | blob | history