From 168468cda1b3a6bc29a7722bd1eaa2c291c190d2 Mon Sep 17 00:00:00 2001
From: esteffin <enrylongo@gmail.com>
Date: Fri, 15 Dec 2023 17:53:34 +0000
Subject: [PATCH] Fixed Multi_Dimensional_Array6 regression test

---
 regression/cbmc/Multi_Dimensional_Array6/test.desc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/regression/cbmc/Multi_Dimensional_Array6/test.desc b/regression/cbmc/Multi_Dimensional_Array6/test.desc
index 3a5f1a569f6e..b50f533cac8b 100644
--- a/regression/cbmc/Multi_Dimensional_Array6/test.desc
+++ b/regression/cbmc/Multi_Dimensional_Array6/test.desc
@@ -5,6 +5,6 @@ main.c
 ^SIGNAL=0$
 ^\[main\.assertion\.1\] .*: SUCCESS$
 ^\[main\.assertion\.2\] .*: FAILURE$
-^\*\* 5 of \d+ failed
+^\*\* 3 of \d+ failed
 --
 ^warning: ignoring