We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 57226e5 commit 32cbc52Copy full SHA for 32cbc52
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