projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f67de1) | patch
Disable regression (#8191)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 1 Mar 2022 17:01:50 +0000 (11:01 -0600)
committerGitHub <noreply@github.com>
Tue, 1 Mar 2022 17:01:50 +0000 (17:01 +0000)
commitf6ba348d9de2109fa840464c4705944f81710a10
tree6fa7cbb4e945bed819bb9c75ff2b13633cd11765tree
parent7f67de1dc1492f12e14d46316dcdd680d753b58ccommit | diff
Disable regression (#8191)

Benchmark is "unknown" on some builds. We don't have a strong reason why we will always say "sat" for this benchmark.

Fixes one of the issues in the nightlies.
test/regress/CMakeLists.txt diff | blob | history