projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4c5c5d) | patch
disable Logic-checking with finite model finding for now, since FMF uses Rationals...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 10 May 2013 21:08:23 +0000 (17:08 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 10 May 2013 23:35:52 +0000 (19:35 -0400)
commitf6d24c56905449e68ee23a9cea54985eacd24aa3
treecfaff8f9d3eb9cb97708e2963ae8828a0922a2f4tree
parentd4c5c5d06f71958fcca6e561b7eade8fd72f7304commit | diff
disable Logic-checking with finite model finding for now, since FMF uses Rationals, making the check think arithmetic should be enabled (but it's not)
src/theory/theory_engine.cpp diff | blob | history