[chore] Disable test

UnitTestBot · Oct 5, 2023 · 9e9e6fc · 9e9e6fc
1 parent 2d9380c
commit 9e9e6fc
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/InteractiveMode/interactive_mode.c b/test/InteractiveMode/interactive_mode.c
@@ -1,4 +1,5 @@
-// REQUIRES: not-ubsan
+/* The test is flaky and the feature isn't importatnt now */
+// REQUIRES: not-ubsan, not-darwin
 // RUN: %clang %s -emit-llvm -g %O0opt -c -o %t.bc
 // RUN: rm -rf %t.klee-out %t.entrypoints
 // RUN: echo sign_sum >> %t.entrypoints