diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-05-03 16:32:11 -0400 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-05-03 16:32:11 -0400 |
| commit | 9a490befefedfd40b7abab5080e84fb7c0540f86 (patch) | |
| tree | d7d73eadd61af32c9cdc08a461198edbc5e38d90 /src/theory/theory_test_utils.h | |
| parent | 4c20ab57d70c4812d75af037e95c371c65418333 (diff) | |
Fixing compilation of unit tests. These problems were due to splitLemma() being pure virtual.
Diffstat (limited to 'src/theory/theory_test_utils.h')
| -rw-r--r-- | src/theory/theory_test_utils.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/theory/theory_test_utils.h b/src/theory/theory_test_utils.h index 237b09bc1..e4921b163 100644 --- a/src/theory/theory_test_utils.h +++ b/src/theory/theory_test_utils.h @@ -107,6 +107,11 @@ public: d_callHistory.clear(); } + LemmaStatus splitLemma(TNode n, bool removable = false) throw(TypeCheckingExceptionPrivate, AssertionException){ + push(LEMMA, n); + return LemmaStatus(Node::null(), 0); + } + Node getIthNode(int i) { Node tmp = (d_callHistory[i]).second; return tmp; |