projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ad8e37) | patch
Fixed problem in assertEqualityEngine: predicates that are not false are no
authorClark Barrett <barrett@cs.nyu.edu>
Mon, 8 Oct 2012 20:19:13 +0000 (20:19 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Mon, 8 Oct 2012 20:19:13 +0000 (20:19 +0000)
commit25375067383e9c6b48ff5ec7053894987d26c331
tree58f7fa74813a4d224e8cda985ad14f50cc8bfd4atree
parent2ad8e376c43eded3c9da313d372689514abe63e1commit | diff
Fixed problem in assertEqualityEngine: predicates that are not false are no
longer assumed to be true
src/theory/model.cpp diff | blob | history