projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f428901) | patch
Disable timing out regressions (#8273)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 10 Mar 2022 17:02:14 +0000 (11:02 -0600)
committerGitHub <noreply@github.com>
Thu, 10 Mar 2022 17:02:14 +0000 (17:02 +0000)
commit33a0b9e350bf9ee7fb8048d0ce5c84ae57b2626c
tree43a8db18e8d16edfeec8625cf752a5a54b5f4f5dtree
parentf428901f78d5c1ed18af31e12dd7178d405dde64commit | diff
Disable timing out regressions (#8273)

Fixes several of the nightly failures.

Both benchmarks involve undecidable logics and are delicate.

Also should fix the errors involving (missing) SyGuS warnings in the nightlies, which requires competition build to be disabled.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/sygus/max-limit.sy diff | blob | history
test/regress/regress1/sygus/max-try2.sy diff | blob | history