diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-04-04 18:59:33 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-04-04 18:59:33 +0000 |
| commit | 97f2f155ad238f48b35050088c3cf60cc326b1f3 (patch) | |
| tree | ec531843fb8a5ff2fd354ebaf87dfaa87db70c8b /test/unit | |
| parent | a2cc0337aa53cfb686e26d68f98f2ae176ff1337 (diff) | |
Add documentation to Node and TNode (closes bug #201).
Also, only build doxygen documentation on stuff in src/,
not test/ or contrib/ or anywhere else. Hopefully this
turns our 3000+ page user manual into something a little
more useful!
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/theory/theory_black.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h index a362a597c..1897bbd1c 100644 --- a/test/unit/theory/theory_black.h +++ b/test/unit/theory/theory_black.h @@ -289,4 +289,15 @@ public: TS_ASSERT_EQUALS(&oc, &theOtherChannel); } + + void testOutputChannel() { + Node n = atom0.orNode(atom1); + d_outputChannel.lemma(n); + d_outputChannel.split(atom0); + Node s = atom0.orNode(atom0.notNode()); + TS_ASSERT_EQUALS(d_outputChannel.d_callHistory.size(), 2u); + TS_ASSERT_EQUALS(d_outputChannel.d_callHistory[0], make_pair(LEMMA, n)); + TS_ASSERT_EQUALS(d_outputChannel.d_callHistory[1], make_pair(LEMMA, s)); + d_outputChannel.d_callHistory.clear(); + } }; |