diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:30:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:30:27 +0000 |
commit | c229389dbf99fa7a747a1bb713e41a3081b6d5fa (patch) | |
tree | f3f142c97174016730d675efb2810e90634a250e /test/system | |
parent | 604201dc96acc33f23a677d20cdcaa32352b510b (diff) |
some minor fixes to the cvc3 compatibility library and test case
Diffstat (limited to 'test/system')
-rw-r--r-- | test/system/Makefile.am | 2 | ||||
-rw-r--r-- | test/system/cvc3_main.cpp | 18 |
2 files changed, 10 insertions, 10 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am index 66e2bd251..4f0fcea14 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -2,7 +2,7 @@ TESTS_ENVIRONMENT = TESTS = \ boilerplate \ ouroborous -# cvc3_main.cpp +# cvc3_main # Things that aren't tests but that tests rely on and need to # go into the distribution diff --git a/test/system/cvc3_main.cpp b/test/system/cvc3_main.cpp index f72472acc..ecf664923 100644 --- a/test/system/cvc3_main.cpp +++ b/test/system/cvc3_main.cpp @@ -52,7 +52,7 @@ int exitStatus; // Check whether e is valid -bool check(ValidityChecker* vc, Expr e, bool verbose=true) +bool check(ValidityChecker* vc, Expr e, bool verbose=false) { if(verbose) { cout << "Query: "; @@ -2090,12 +2090,12 @@ int main(int argc, char** argv) cout << "Running API test, regress level = " << regressLevel << endl; exitStatus = 0; try { - cout << "\n}\ntest26(): {" << endl; - test26(); - cout << "\ntest(): {" << endl; - test(); - cout << "\n}\ntest1(): {" << endl; - test1(); + //cout << "\n}\ntest26(): {" << endl; + //test26(); + //cout << "\ntest(): {" << endl; + //test(); + //cout << "\n}\ntest1(): {" << endl; + //test1(); cout << "\n}\n\ntest2(): {" << endl; test2(); cout << "\n}\n\ntest3(): {" << endl; @@ -2106,8 +2106,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; |