projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ac9d35) | patch
Fixing an assertion Constraint::assertionFringe(...) to allow hasTrichotomyProof().
authorTim King <taking@cs.nyu.edu>
Sun, 14 Jun 2015 22:28:10 +0000 (00:28 +0200)
committerTim King <taking@cs.nyu.edu>
Sun, 14 Jun 2015 22:28:10 +0000 (00:28 +0200)
commitda4276464f90ffd091cc98ee1f74412018481eb3
tree72c3f41e8e0ed05ddc9824a5e3c08dcfa29c7f4etree
parent7ac9d35366c0d5ed5aee5d26862f39a2c98bd521commit | diff
Fixing an assertion Constraint::assertionFringe(...) to allow hasTrichotomyProof().
src/theory/arith/constraint.cpp diff | blob | history