projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3361a4) | patch
Do not debug check model for models with approximations (#3673)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 30 Jan 2020 09:32:47 +0000 (03:32 -0600)
committerGitHub <noreply@github.com>
Thu, 30 Jan 2020 09:32:47 +0000 (01:32 -0800)
commit13ef9140d1ba6740ccb2c1f29bd2d243de6872c2
tree1626d5979182f94f12c9fc28a4a9046edb5d1304tree
parente3361a428a1b24369d782120de1f050874a8ac44commit | diff
Do not debug check model for models with approximations (#3673)

We don't run check-model for models with approximate values, however we were still running the internal debugCheckModel method, which leads to assertion failures. This disables this check.

Fixes #3652.
src/theory/theory_model_builder.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/nl/issue3652.smt2 [new file with mode: 0644] blob