projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f3b77b) | patch
Fix simple_vc_compat_cxx example (#202)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 19 Jul 2017 19:59:36 +0000 (15:59 -0400)
committerGitHub <noreply@github.com>
Wed, 19 Jul 2017 19:59:36 +0000 (15:59 -0400)
commit7fd11d0df4c257a916e93c3f44238f1d3f70f721
tree98a748df54d12b7b03b5c20dfaa5ed0e16c8fd60tree
parent0f3b77bbd30be2388558000085d910d82e81d989commit | diff
Fix simple_vc_compat_cxx example (#202)

The CVC3 compatibility layer was broken because it was setting
simplification mode to SIMPLIFICATION_MODE_INCREMENTAL, which
is not supported anymore since commit
2dbe1f150d30f0fb0c8522f891104270ce09db4c . This commit changes
the compatibility layer to not set the option anymore.

This addresses bug 833, which had been reported on the cvc-bugs mailing list.
src/compat/cvc3_compat.cpp diff | blob | history