Reduce the number of iterations that the leak checking tests perform.

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

diff --git a/tests/c-api-tests/leak.c b/tests/c-api-tests/leak.c
index b49fa48f51162431f8121c5d7c8813202a48ba06..b4f169914ad52e40fea5fdd2c09fd91db7cb6471 100644 (file)
--- a/tests/c-api-tests/leak.c
+++ b/tests/c-api-tests/leak.c
@@ -1,7 +1,7 @@
 #include "c_interface.h"
 #include <stdio.h>
 int main(){
-    for (int i=0; i < 100000;i++){
+    for (int i=0; i < 10;i++){
 
    
     VC vc;

diff --git a/tests/c-api-tests/squares-leak.c b/tests/c-api-tests/squares-leak.c
index d15144431925b6e55701eac66cab7998fd8cbd58..20c2324f84b0a63a10a0bd7552ec09bb4f514ecb 100644 (file)
--- a/tests/c-api-tests/squares-leak.c
+++ b/tests/c-api-tests/squares-leak.c
@@ -11,7 +11,7 @@ int main(int argc, char **argv) {
   /* Do some simple arithmetic by creating an expression involving
      constants and then simplifying it. Since we create and destroy
      a fresh VC each time, we shouldn't leak any memory. */
-  for (i = 1; i <= 100000; i++) {
+  for (i = 1; i <= 100; i++) {
     VC vc = vc_createValidityChecker();
     Expr arg = vc_bvConstExprFromLL(vc, 64, (unsigned long long)i);
     Expr product = vc_bvMultExpr(vc, 64, arg, arg);