projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8f8e92) | patch
This commit is a fix for a bug in removeITEs(). The check that the then branch is...
authorTim King <taking@cs.nyu.edu>
Tue, 1 Jun 2010 21:34:43 +0000 (21:34 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 1 Jun 2010 21:34:43 +0000 (21:34 +0000)
commitacc653383ea5dbb3a4e9cffa5c2735a9d2f22dca
tree26cc244e1632cece509119fa4c6c928f56d9ad6ctree
parentb8f8e92c5cdd2d556d06e722e2e27b7c18a36216commit | diff
This commit is a fix for a bug in removeITEs().  The check that the then branch is a boolean should now be working. This fixes bug 138.
src/theory/theory_engine.cpp diff | blob | history