projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2333e3) | patch
Fix to subrange type enumerator, and its unit test. Resolves bug 436.
authorMorgan Deters <mdeters@gmail.com>
Fri, 26 Oct 2012 23:32:38 +0000 (23:32 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 26 Oct 2012 23:32:38 +0000 (23:32 +0000)
commitc2d88c4cf9fd2d6a8b0eb8d28019eacd29b913de
tree16407ca53855adede55099a90ecdfd11d135175ctree
parentb2333e3bb49f84be01ddcc875dc6b01cc6b29307commit | diff
Fix to subrange type enumerator, and its unit test.  Resolves bug 436.

(this commit was certified error- and warning-free by the test-and-commit script.)
src/theory/arith/type_enumerator.h diff | blob | history
test/unit/theory/type_enumerator_white.h diff | blob | history