diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-12-06 01:54:11 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-12-06 01:54:11 +0000 |
commit | 1a2d113fd62f1f8b362f907c0fd34c2adecdb1f1 (patch) | |
tree | 7320f333b48cc2ecd7b3851721dbd3784d7ea85e /test/system/cvc3_main.cpp | |
parent | 8c8985f024cec925f774ff32ebccc306be8e4b26 (diff) |
* tuple and record support in compatibility library
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'test/system/cvc3_main.cpp')
-rw-r--r-- | test/system/cvc3_main.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/system/cvc3_main.cpp b/test/system/cvc3_main.cpp index 2afdc5ac6..e09a3f930 100644 --- a/test/system/cvc3_main.cpp +++ b/test/system/cvc3_main.cpp @@ -776,10 +776,10 @@ void test6() { newAssertion(vc1, ar_eq1); check(vc1, query1); - cout << "*** VC #2:" << endl; - newAssertion(vc2, vc2->importExpr(r1_eq)); - newAssertion(vc2, vc2->importExpr(ar_eq1)); - check(vc2, vc2->importExpr(query1)); + //cout << "*** VC #2:" << endl; + //newAssertion(vc2, vc2->importExpr(r1_eq)); + //newAssertion(vc2, vc2->importExpr(ar_eq1)); + //check(vc2, vc2->importExpr(query1)); } catch(const Exception& e) { exitStatus = 1; cout << "*** Exception caught in test6(): \n" << e << endl; @@ -2142,8 +2142,8 @@ int main(int argc, char** argv) cout << "\n}\n\ntest5(): {" << endl; test5(); } - //cout << "\n}\n\ntest6(): {" << endl; - //test6(); + cout << "\n}\n\ntest6(): {" << endl; + test6(); cout << "\n}\n\ntest7(): {" << endl; test7(); //cout << "\n}\n\ntest8(): {" << endl; |