projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01bd928) | patch
fixed theory engine white test for new (old) theoryOf() behavior (re: bug 188)
authorMorgan Deters <mdeters@gmail.com>
Wed, 28 Jul 2010 02:57:22 +0000 (02:57 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 28 Jul 2010 02:57:22 +0000 (02:57 +0000)
commitd2787f41e72184fbdf2619d3c0466bed9b6211be
tree9c770b482ef393b6d4974b45660bc9927553dab5tree
parent01bd928fa45459114ae4f5effcc8fbcf91bef7e8commit | diff
fixed theory engine white test for new (old) theoryOf() behavior (re: bug 188)
test/unit/theory/theory_engine_white.h diff | blob | history