projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c45141) | patch
Fix regression (#3393)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 15 Oct 2019 13:08:48 +0000 (06:08 -0700)
committerGitHub <noreply@github.com>
Tue, 15 Oct 2019 13:08:48 +0000 (06:08 -0700)
commitd16c43da9e4268a03d86fd5e7e3afbabae94ad2f
tree6b53bd5c7aa5dbb0a9d43a3788f9823a6b8327e2tree
parent8c451415de55e27b24a204a0d35c07722bc832fccommit | diff
Fix regression (#3393)

PR #3388 didn't disable the regression correctly (due to using `REQUIRE`
instead of `REQUIRES`). This commit fixes the issue.
test/regress/regress0/sygus/no-logic.sy diff | blob | history