projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01654ea) | 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>
Mon, 20 May 2013 20:51:05 +0000 (16:51 -0400)
commit10bc76f38b5fa7d213f698fa7b8de14d20e40c07
tree77ae58c09799fac21210fe407022cbb406e130bctree
parent01654ea86af49fdf0859811f09c64de66dcc9f59commit | 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