From 21f8b5b7facfa9b09e168f4aa441f64645a049e1 Mon Sep 17 00:00:00 2001
From: Enrico Steffinlongo <enrico.steffinlongo@diffblue.com>
Date: Mon, 18 Dec 2023 23:07:35 +0000
Subject: [PATCH] malloc MAY fail cbmc-incr-smt2

---
 regression/cbmc-incr-smt2/dynamic-memory/assert_dynamic.desc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/regression/cbmc-incr-smt2/dynamic-memory/assert_dynamic.desc b/regression/cbmc-incr-smt2/dynamic-memory/assert_dynamic.desc
index 23804df57da8..af6116581e2e 100644
--- a/regression/cbmc-incr-smt2/dynamic-memory/assert_dynamic.desc
+++ b/regression/cbmc-incr-smt2/dynamic-memory/assert_dynamic.desc
@@ -1,6 +1,6 @@
 CORE
 assert_dynamic.c
---trace
+--no-malloc-may-fail --trace
 Passing problem to incremental SMT2 solving
 line 16 assertion __CPROVER_DYNAMIC_OBJECT\(pointer\)\: FAILURE
 make_dynamic\=FALSE