[fix] Update test

UnitTestBot · Oct 25, 2023 · b4fbe6d · b4fbe6d
1 parent d74463a
commit b4fbe6d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/Feature/SymbolicSizes/IntArray.c b/test/Feature/SymbolicSizes/IntArray.c
@@ -1,5 +1,5 @@
-// REQUIRES: not-darwin
-// Disabling darwin because it overflows stack on CI
+// REQUIRES: not-darwin, not-metasmt
+// Disabling darwin and metasmt because test has flaky behaviour on CI
 // RUN: %clang %s -g -emit-llvm %O0opt -c -o %t1.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out --use-sym-size-alloc --use-sym-size-li --min-number-elements-li=1 --skip-not-lazy-initialized %t1.bc 2>&1 | FileCheck %s