projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f06dc6) | patch
Check for free variables in several SolverEngine calls (#8130)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 24 Feb 2022 18:28:58 +0000 (12:28 -0600)
committerGitHub <noreply@github.com>
Thu, 24 Feb 2022 18:28:58 +0000 (18:28 +0000)
commit4972960da74afd20fdae8fbb2ca49412866bd9c0
tree71bbbe7fddce38ff70d476de381754f17dc075c6tree
parent1f06dc65f3e12a463a9f97f22d0a7097f4b9b3a8commit | diff
Check for free variables in several SolverEngine calls (#8130)

Fixes the nightlies due to ensuring that a unit test fails in production (it was failing only in debug).

Fixes #8127.
12 files changed:
examples/api/cpp/helloworld.cpp diff | blob | history
examples/api/java/HelloWorld.java diff | blob | history
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history
src/options/expr_options.toml diff | blob | history
src/smt/solver_engine.cpp diff | blob | history
src/smt/solver_engine.h diff | blob | history
test/unit/api/cpp/result_black.cpp diff | blob | history
test/unit/api/cpp/solver_black.cpp diff | blob | history
test/unit/api/java/ResultTest.java diff | blob | history
test/unit/api/python/test_result.py diff | blob | history