[chore] Disable test

Author: misonijnik

test/Feature/SymbolicSizes/IntArray.c

@@ -1,4 +1,5 @@
-// REQUIRES: not-metasmt
+// REQUIRES: not-darwin
+// Disabling darwin because it overflows stack 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