projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f57370) | patch
Fix for issue 5925: constant arrays should be nonlinear. (#8430)
authorClark Barrett <barrett@cs.stanford.edu>
Tue, 29 Mar 2022 06:50:55 +0000 (23:50 -0700)
committerGitHub <noreply@github.com>
Tue, 29 Mar 2022 06:50:55 +0000 (06:50 +0000)
commit3d5a95c11e92fd970aa0ba40cf748e44eb977dd9
treecbc5ec7ff43dbaa474e0e954cf298a5b836fbf0etree
parent4f573702101ba23279d39ff22550f4b3193f038dcommit | diff
Fix for issue 5925: constant arrays should be nonlinear. (#8430)

Fixes #5925. The "nonlinear" optimization did not take constant arrays into account.
src/theory/arrays/theory_arrays.cpp diff | blob | history
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress0/arrays/issue5925-2.smt2 [new file with mode: 0644] blob
test/regress/cli/regress0/arrays/issue5925.smt2 [new file with mode: 0644] blob