projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 972dcfa) | patch
Disable `--jh-rlv-order` for slow regressions (#6633)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 28 May 2021 14:10:15 +0000 (07:10 -0700)
committerGitHub <noreply@github.com>
Fri, 28 May 2021 14:10:15 +0000 (14:10 +0000)
commitf4894f5e0630bd3610699b13a8abae3e0ce9e600
tree1fe02f3123d1c8e556530089764742081d3f541atree
parent972dcfafe5eeb10b7b45892d1291000e73746c76commit | diff
Disable `--jh-rlv-order` for slow regressions (#6633)

This commit adds --no-jh-rlv-order to two string regressions that take
over 2 minutes to run in debug after #6613, which increases the overall
regression runtime significantly.
test/regress/regress1/strings/stoi-400million.smt2 diff | blob | history
test/regress/regress2/strings/issue6057-replace-re-all.smt2 diff | blob | history