[chore] Update MemoryLimit.c

UnitTestBot · Jul 5, 2023 · b7162d7 · b7162d7
1 parent ff30de6
commit b7162d7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Feature/MemoryLimit.c b/test/Feature/MemoryLimit.c
@@ -7,13 +7,13 @@
 
 // RUN: %clang -emit-llvm -DLITTLE_ALLOC -g -c %s -o %t.little.bc
 // RUN: rm -rf %t.klee-out
-// RUN: %klee --output-dir=%t.klee-out --max-memory=20 %t.little.bc > %t.little.log
+// RUN: %klee --output-dir=%t.klee-out --max-memory=20 --max-cycles=0 %t.little.bc > %t.little.log
 // RUN: FileCheck -check-prefix=CHECK-LITTLE -input-file=%t.little.log %s
 // RUN: FileCheck -check-prefix=CHECK-WRN -input-file=%t.klee-out/warnings.txt %s
 
 // RUN: %clang -emit-llvm -g -c %s -o %t.big.bc
 // RUN: rm -rf %t.klee-out
-// RUN: %klee --output-dir=%t.klee-out --max-memory=20 %t.big.bc > %t.big.log 2> %t.big.err
+// RUN: %klee --output-dir=%t.klee-out --max-memory=20 --max-cycles=0 %t.big.bc > %t.big.log 2> %t.big.err
 // RUN: FileCheck -check-prefix=CHECK-BIG -input-file=%t.big.log %s
 // RUN: FileCheck -check-prefix=CHECK-WRN -input-file=%t.klee-out/warnings.txt %s