projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 366a361) | patch
Disable regression test for competition build (#3388)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 14 Oct 2019 21:21:32 +0000 (14:21 -0700)
committerGitHub <noreply@github.com>
Mon, 14 Oct 2019 21:21:32 +0000 (14:21 -0700)
commit8c451415de55e27b24a204a0d35c07722bc832fc
treeb053eb3565b9a6256570ece65c381de14e81ebaftree
parent366a361ad46e81972f5631fd5df8f725d0e2f4bccommit | diff
Disable regression test for competition build (#3388)

This commit disables a regression test that was failing for the
competition build due to not emitting the expected error message.
test/regress/regress0/sygus/no-logic.sy diff | blob | history