We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6ea8da1 commit 168468cCopy full SHA for 168468c
regression/cbmc/Multi_Dimensional_Array6/test.desc
@@ -5,6 +5,6 @@ main.c
5
^SIGNAL=0$
6
^\[main\.assertion\.1\] .*: SUCCESS$
7
^\[main\.assertion\.2\] .*: FAILURE$
8
-^\*\* 5 of \d+ failed
+^\*\* 3 of \d+ failed
9
--
10
^warning: ignoring
0 commit comments