projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10f34b7) | patch
Fatal error if --unconstrained-simp and --produce-models used together (before it...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 20 Jun 2014 19:13:23 +0000 (15:13 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 23 Jun 2014 21:26:14 +0000 (17:26 -0400)
commit55ca82cf4c48911e7cdad7f82b58497ba9822579
tree1d77a72676b544c0d9f11f8ec3f5d7cdc07c834atree
parent10f34b74c309fa24ec14e92d65f96d1e831264a5commit | diff
Fatal error if --unconstrained-simp and --produce-models used together (before it would just override the user and turn off models).
src/smt/smt_engine.cpp diff | blob | history
test/regress/regress0/unconstrained/Makefile.am diff | blob | history