From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Tue, 3 Apr 2012 12:30:52 +0000 (+0000)
Subject: Fix some more test cases by returning from main.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=d2acb92e06dc82bf46e08a1aae93c5839e24db47;p=francis%2Fstp.git

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 8121d07..dd4642e 100644
--- 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 81a0d52..366d18c 100644
--- 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 980b864..aabcea2 100644
--- 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 ca7ed59..9ec392d 100644
--- 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 b4f1699..650bff4 100644
--- 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 6d72068..ce8ab06 100644
--- 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 f53de4c..47a8cac 100644
--- 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 3d4129e..e0aedb1 100644
--- 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 76e3715..2145630 100644
--- 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 2131e39..57e87fd 100644
--- 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 49654a4..d36f6e0 100644
--- 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 b1f5dad..dcab651 100644
--- 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 423ce12..7130060 100644
--- 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 e928699..364694f 100644
--- 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 20c2324..8d558c9 100644
--- 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 9ef18cf..ca880ba 100644
--- 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 e6ab393..e03e34c 100644
--- 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 c64d037..809f9d7 100644
--- 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 6b1bc32..2eac937 100644
--- 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 bd4fee1..a023d0f 100644
--- 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 5a43baa..f9fd2e1 100644
--- 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;
 }