From 1a2d113fd62f1f8b362f907c0fd34c2adecdb1f1 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 6 Dec 2012 01:54:11 +0000 Subject: * tuple and record support in compatibility library (this commit was certified error- and warning-free by the test-and-commit script.) --- test/system/cvc3_main.cpp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'test') 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; -- cgit v1.2.3