Fix some more test cases by returning from main.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1619 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/tests/c-api-tests/b4-c2.c b/tests/c-api-tests/b4-c2.c
index 8121d0760d6e1b1d8b846480b9ba95b03eb08bc0..dd4642e5daa0116c8ac1135b30d6f97258deaa42 100644 (file)
--- a/tests/c-api-tests/b4-c2.c
+++ b/tests/c-api-tests/b4-c2.c
@@ -2097,4 +2097,5 @@ int main() {
   vc_pop(vc);
 
   vc_Destroy(vc);
+  return 0;
 }

diff --git a/tests/c-api-tests/biosat-rna.cpp b/tests/c-api-tests/biosat-rna.cpp
index 81a0d52811fb531c4ab9e909b03b823f5e935550..366d18cbead9f08c94b6de0311fb429fec5278f2 100644 (file)
--- a/tests/c-api-tests/biosat-rna.cpp
+++ b/tests/c-api-tests/biosat-rna.cpp
@@ -557,4 +557,5 @@ int main(int argc, char** argv) {
   vc_assertFormula(vc, vc_bvGeExpr(vc, total_energy, min_sol_energy_expr));
 
   vc_query(vc, vc_falseExpr(vc));
+  return 0;
 } //End of Main()

diff --git a/tests/c-api-tests/getbvunsignedlonglong-check.c b/tests/c-api-tests/getbvunsignedlonglong-check.c
index 980b86437278c0347d51a6391aacec3438609e47..aabcea249cafe79c3641d8bc7315b8cea4c8059f 100644 (file)
--- a/tests/c-api-tests/getbvunsignedlonglong-check.c
+++ b/tests/c-api-tests/getbvunsignedlonglong-check.c
@@ -24,4 +24,5 @@ int main() {
     vc_DeleteExpr(index_3);
     vc_Destroy(vc);
   }
+  return 0;
 }

diff --git a/tests/c-api-tests/if-check.c b/tests/c-api-tests/if-check.c
index ca7ed595ea7aed149a6cb5470a78984f7a8b3007..9ec392db38d352ec26e8d3b07a553b287a8143d8 100644 (file)
--- a/tests/c-api-tests/if-check.c
+++ b/tests/c-api-tests/if-check.c
@@ -254,4 +254,5 @@ int main ()
        vc_pop (vc);
 
        vc_Destroy (vc);
+       return 0;
 }

diff --git a/tests/c-api-tests/leak.c b/tests/c-api-tests/leak.c
index b4f169914ad52e40fea5fdd2c09fd91db7cb6471..650bff496e9697b333372bbbe6547e386d8f1b1f 100644 (file)
--- a/tests/c-api-tests/leak.c
+++ b/tests/c-api-tests/leak.c
@@ -115,4 +115,5 @@ int main(){
     
     vc_Destroy(vc);
     }
+    return 0;
 }

diff --git a/tests/c-api-tests/multiple-queries.c b/tests/c-api-tests/multiple-queries.c
index 6d720684a263140b9a67923b35ba8c8487249659..ce8ab069eb96df3ec2988a2c0123ea783e038057 100644 (file)
--- a/tests/c-api-tests/multiple-queries.c
+++ b/tests/c-api-tests/multiple-queries.c
@@ -31,5 +31,6 @@ int main() {
   printf("query = %d\n", query);
 
   vc_Destroy(vc);
+  return 0;
 }
 

diff --git a/tests/c-api-tests/parsefile-using-cinterface.c b/tests/c-api-tests/parsefile-using-cinterface.c
index f53de4cb5418cf0233f01515db74d8d880d71503..47a8cac6cf69440b551f2d3f8ad07d9cf56768f0 100644 (file)
--- a/tests/c-api-tests/parsefile-using-cinterface.c
+++ b/tests/c-api-tests/parsefile-using-cinterface.c
@@ -15,5 +15,6 @@ int main() {
   vc_DeleteExpr(c);
   printf("\n");
   vc_Destroy(vc);
+  return 0;
 }
 

diff --git a/tests/c-api-tests/parsestring-using-cinterface.c b/tests/c-api-tests/parsestring-using-cinterface.c
index 3d4129e3b5a91c921603efab5e7cf21b4026e5fe..e0aedb1219c5d14fd581cd61752b0e00d6f80ee4 100644 (file)
--- a/tests/c-api-tests/parsestring-using-cinterface.c
+++ b/tests/c-api-tests/parsestring-using-cinterface.c
@@ -25,5 +25,6 @@ int main() {
   printf("\n");
 
   vc_Destroy(vc);
+  return 0;
 }
 

diff --git a/tests/c-api-tests/print.c b/tests/c-api-tests/print.c
index 76e37154b88c40edd8322575e8a9ee9930fcba2a..214563099587cc4120ff3cfec02fd482298c0e99 100644 (file)
--- a/tests/c-api-tests/print.c
+++ b/tests/c-api-tests/print.c
@@ -17,5 +17,6 @@ int main() {
   vc_printExpr(vc, ct_3);  printf("\n");
 
   vc_Destroy(vc);
+  return 0;
 }
 

diff --git a/tests/c-api-tests/push-pop-1.c b/tests/c-api-tests/push-pop-1.c
index 2131e39e7906b415c8b5769534e6c97fcd804be1..57e87fd940c8589f079f9cc8a5ffe2d8b39958b3 100644 (file)
--- a/tests/c-api-tests/push-pop-1.c
+++ b/tests/c-api-tests/push-pop-1.c
@@ -38,4 +38,5 @@ int main() {
   vc_pop(vc);
 
   printf("query = %d\n", query);
+  return 0;
 }

diff --git a/tests/c-api-tests/push-pop.c b/tests/c-api-tests/push-pop.c
index 49654a48a41d3f22be3690c5e437482d06a1e094..d36f6e073f70f922cbaa7feefaf1fbc92475d951 100644 (file)
--- a/tests/c-api-tests/push-pop.c
+++ b/tests/c-api-tests/push-pop.c
@@ -31,4 +31,5 @@ int main() {
   vc_DeleteExpr(a);
 
   vc_Destroy(vc);
+  return 0;
 }

diff --git a/tests/c-api-tests/sbvdiv.c b/tests/c-api-tests/sbvdiv.c
index b1f5dad2df64e962d22a35f589e81781c8bf0d70..dcab651fd1e15d4f3d48e027368107323fd54d86 100644 (file)
--- a/tests/c-api-tests/sbvdiv.c
+++ b/tests/c-api-tests/sbvdiv.c
@@ -14,6 +14,7 @@ int main() {
     vc_assertFormula(vc, vc_sbvGtExpr(vc, b, zero));
     vc_assertFormula(vc, vc_sbvLeExpr(vc, a, vc_sbvDivExpr(vc, 32,int_max, b)));
     std::cout << vc_query(vc, vc_falseExpr(vc)) << std::endl;
+    return 0;
 }
 
 

diff --git a/tests/c-api-tests/simplify.c b/tests/c-api-tests/simplify.c
index 423ce12f4bcf87b6749f2e7a5695c69a2822abec..713006088800d16aad7d53a1b9ac3e3b6d62712b 100644 (file)
--- a/tests/c-api-tests/simplify.c
+++ b/tests/c-api-tests/simplify.c
@@ -27,4 +27,5 @@ int main() {
   vc_printExpr(vc, cast_8_to_32);
   //cast_8_to_32 = vc_simplify(vc, cast_8_to_32);
   vc_Destroy(vc);
+  return 0;
 }

diff --git a/tests/c-api-tests/simplify1.c b/tests/c-api-tests/simplify1.c
index e928699c371c32f90899d57bb2071c010d474c7e..364694f578478bc816efc3f8010fe5a086259aa5 100644 (file)
--- a/tests/c-api-tests/simplify1.c
+++ b/tests/c-api-tests/simplify1.c
@@ -31,4 +31,5 @@ int main() {
     cast_8_to_32 = vc_simplify(vc, cast_8_to_32);
     vc_Destroy(vc);
   }
+  return 0;
 }

diff --git a/tests/c-api-tests/squares-leak.c b/tests/c-api-tests/squares-leak.c
index 20c2324f84b0a63a10a0bd7552ec09bb4f514ecb..8d558c9af2b9e4bfc6071d1981991914f91c84d5 100644 (file)
--- a/tests/c-api-tests/squares-leak.c
+++ b/tests/c-api-tests/squares-leak.c
@@ -24,4 +24,5 @@ int main(int argc, char **argv) {
       printf("%u**2 = %llu\n", i, j);
     vc_Destroy(vc);
   }
+  return 0;
 }

diff --git a/tests/c-api-tests/stp-bool.c b/tests/c-api-tests/stp-bool.c
index 9ef18cf15d2a8264c57792161fa2b86a201c9240..ca880bab3fac65affe11185672216a6a32a310d5 100644 (file)
--- a/tests/c-api-tests/stp-bool.c
+++ b/tests/c-api-tests/stp-bool.c
@@ -14,4 +14,5 @@ int main ()
 
 
        vc_Destroy (vc);
+       return 0;
 }

diff --git a/tests/c-api-tests/stp-counterex.c b/tests/c-api-tests/stp-counterex.c
index e6ab3937fefee48d0f5562a114b4cf33c1b13b1d..e03e34c0dbc2d1152a448e97062a7ec139c1f1d0 100644 (file)
--- a/tests/c-api-tests/stp-counterex.c
+++ b/tests/c-api-tests/stp-counterex.c
@@ -47,4 +47,5 @@ int main() {
   fprintf(stderr, "a[1] = %llu\n", v);
 
   vc_Destroy(vc);
+  return 0;
 }

diff --git a/tests/c-api-tests/stp-div-001.c b/tests/c-api-tests/stp-div-001.c
index c64d037fab2bbf3f09eff445fc3fce45eb7608b3..809f9d7cf2910fa6e8be15c562f75bcc0df7038a 100644 (file)
--- a/tests/c-api-tests/stp-div-001.c
+++ b/tests/c-api-tests/stp-div-001.c
@@ -64,4 +64,5 @@ int main() {
   assert((*a_val)/5  == 5);
 
   vc_Destroy(vc);
+  return 0;
 }

diff --git a/tests/c-api-tests/stp-test3.c b/tests/c-api-tests/stp-test3.c
index 6b1bc32daf5d7e3a61c5e6b7795df714f9854b61..2eac937dab741c681cc33c7dcf98c6c3545a5952 100644 (file)
--- a/tests/c-api-tests/stp-test3.c
+++ b/tests/c-api-tests/stp-test3.c
@@ -29,4 +29,5 @@ int main ()
        go(MS);
        go(CMS2);
        go(MSP);
+       return 0;
 }

diff --git a/tests/c-api-tests/userguided-absrefine.c b/tests/c-api-tests/userguided-absrefine.c
index bd4fee15751f4f766fafa594a91756d35855db04..a023d0fb8e5ffaad13eb5a05407387bd009098f4 100644 (file)
--- a/tests/c-api-tests/userguided-absrefine.c
+++ b/tests/c-api-tests/userguided-absrefine.c
@@ -559,4 +559,5 @@ int main(int argc, char** argv) {
   vc_assertFormula(vc, vc_bvGeExpr(vc, total_energy, min_sol_energy_expr));
 
   vc_query(vc, vc_falseExpr(vc));
+  return 0;
 } //End of Main()

diff --git a/tests/c-api-tests/y.c b/tests/c-api-tests/y.c
index 5a43baaeb0ea5c67f16ddef394e974cd71fc232f..f9fd2e114eb01361e4ca040984a1eccd18de0eff 100644 (file)
--- a/tests/c-api-tests/y.c
+++ b/tests/c-api-tests/y.c
@@ -27,4 +27,5 @@ int main(int argc, char *argv[]) {
   //vc_printExpr(vc, cex);
   //
   vc_Destroy(vc);
+  return 0;
 }