From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 6 Nov 2009 05:11:26 +0000 (+0000)
Subject: Reduce the number of iterations that the leak checking tests perform.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=33e2f45c40003b103c791f4a86aa5d88d8ff9fbd;p=francis%2Fstp.git

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 b49fa48..b4f1699 100644
--- 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 d151444..20c2324 100644
--- 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);