projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c20ab5) | patch
Fixing compilation of unit tests. These problems were due to splitLemma() being pure...
authorTim King <taking@cs.nyu.edu>
Fri, 3 May 2013 20:32:11 +0000 (16:32 -0400)
committerTim King <taking@cs.nyu.edu>
Fri, 3 May 2013 20:32:11 +0000 (16:32 -0400)
commit9a490befefedfd40b7abab5080e84fb7c0540f86
treed7d73eadd61af32c9cdc08a461198edbc5e38d90tree
parent4c20ab57d70c4812d75af037e95c371c65418333commit | diff
Fixing compilation of unit tests. These problems were due to splitLemma() being pure virtual.
src/theory/theory_test_utils.h diff | blob | history
test/unit/theory/theory_engine_white.h diff | blob | history
test/unit/theory/theory_white.h diff | blob | history