projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21102d1) | patch
fix improper CongruenceClosureWhite test by merging from a uf branch; fixes the night...
authorMorgan Deters <mdeters@gmail.com>
Wed, 17 Nov 2010 07:22:35 +0000 (07:22 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 17 Nov 2010 07:22:35 +0000 (07:22 +0000)
commitb77f44a6975e6bab468c774d7b34c23e84371ff1
tree2673500e6d0ec64686210f1c572b81a05cbe2707tree
parent21102d14767364c222f1e7fe13de1f229d541dbccommit | diff
fix improper CongruenceClosureWhite test by merging from a uf branch; fixes the nightly test failure
test/unit/util/congruence_closure_white.h diff | blob | history