malloc MAY fail cbmc-incr-smt2

Enrico Steffinlongo · Enrico Steffinlongo · commit 944c60a89421 · 2023-12-18T23:19:33.000Z
diff --git a/regression/cbmc-incr-smt2/pointers-relational-operators/pointers_stack_malloc.desc b/regression/cbmc-incr-smt2/pointers-relational-operators/pointers_stack_malloc.desc
@@ -1,6 +1,6 @@
 CORE
 pointers_stack_malloc.c
---trace --no-malloc-fail
+--trace --no-malloc-may-fail
 \[main\.assertion\.1\] line \d+ \*\(a \+ i\) >= i: expected successful: SUCCESS
 \[main\.assertion\.2\] line \d+ \*\(a \+ i\) <= i: expected successful: SUCCESS
 \[main\.assertion\.3\] line \d+ \*\(a \+ i\) <= i: expected successful: SUCCESS
