projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3a773d) | patch
Ignore model check warning in regression test (#3926)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 6 Mar 2020 17:45:08 +0000 (09:45 -0800)
committerGitHub <noreply@github.com>
Fri, 6 Mar 2020 17:45:08 +0000 (09:45 -0800)
commitb9347f7d0ca130f85df103e5271536a165a04a64
treef67065f26dbe69f7b5e505552cbca6a9b2a442a4tree
parentf3a773dc772cc3ef0590f01e7ce2ebe0ce87bfd3commit | diff
Ignore model check warning in regression test (#3926)

PR #3918 added a new test case that results in a warning when checking
models, which makes the regression fail. This commit adds a flag to the
test to ignore that warning.
test/regress/regress1/quantifiers/real-to-int-quant.smt2 diff | blob | history