projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11236f0) | patch
Added theory black box test.
authorTim King <taking@cs.nyu.edu>
Mon, 1 Mar 2010 21:28:52 +0000 (21:28 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 1 Mar 2010 21:28:52 +0000 (21:28 +0000)
commit7f5036bb37e13dbc7e176d4fa82ee0736d11e913
tree0ff5956f33f89b5f2a4321a05a08907f0e16a874tree
parent11236f077a684261f2b260e7333ba8409245ba87commit | diff
Added theory black box test.
test/unit/Makefile.am diff | blob | history
test/unit/theory/theory_black.h [new file with mode: 0644] blob