Skip to content

Commit 46f7987

Browse files
tautschnigtautschnig
committed
Fix perl regular expressioons in regression test descriptions
Parentheses need to be escaped, and || as well as && are interpreted by perl as or/and (and thus need escaping as well).
1 parent 9fe432b commit 46f7987

File tree

24 files changed

+61
-61
lines changed

24 files changed

+61
-61
lines changed

‎regression/goto-analyzer/approx-const-fp-array-variable-cast-const-fp/test.desc

+6-6
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,10 @@ main.c
99
^SIGNAL=0$
1010
--
1111
^warning: ignoring
12-
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
13-
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
14-
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
15-
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
16-
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
17-
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
12+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f1 THEN GOTO [0-9]$
13+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f5 THEN GOTO [0-9]$
14+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f6 THEN GOTO [0-9]$
15+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f7 THEN GOTO [0-9]$
16+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f8 THEN GOTO [0-9]$
17+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f9 THEN GOTO [0-9]$
1818
function \w+: replacing function pointer by 9 possible targets

‎regression/goto-analyzer/approx-const-fp-array-variable-const-fp-with-null/test.desc

+6-6
Original file line numberDiff line numberDiff line change
@@ -10,10 +10,10 @@ replacing function pointer by 3 possible targets
1010
^SIGNAL=0$
1111
--
1212
^warning: ignoring
13-
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
14-
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
15-
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
16-
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
17-
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
18-
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
13+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f1 THEN GOTO [0-9]$
14+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f5 THEN GOTO [0-9]$
15+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f6 THEN GOTO [0-9]$
16+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f7 THEN GOTO [0-9]$
17+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f8 THEN GOTO [0-9]$
18+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f9 THEN GOTO [0-9]$
1919
function \w+: replacing function pointer by 9 possible targets

‎regression/goto-analyzer/approx-const-fp-array-variable-const-fp/test.desc

+6-6
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,10 @@ main.c
99
^SIGNAL=0$
1010
--
1111
^warning: ignoring
12-
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
13-
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
14-
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
15-
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
16-
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
17-
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
12+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f1 THEN GOTO [0-9]$
13+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f5 THEN GOTO [0-9]$
14+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f6 THEN GOTO [0-9]$
15+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f7 THEN GOTO [0-9]$
16+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f8 THEN GOTO [0-9]$
17+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f9 THEN GOTO [0-9]$
1818
function \w+: replacing function pointer by 9 possible targets

‎regression/goto-analyzer/approx-const-fp-array-variable-const-pointer-const-struct-non-const-fp/test.desc

+6-6
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,10 @@ main.c
99
^SIGNAL=0$
1010
--
1111
^warning: ignoring
12-
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
13-
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
14-
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
15-
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
16-
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
17-
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
12+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f1 THEN GOTO [0-9]$
13+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f5 THEN GOTO [0-9]$
14+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f6 THEN GOTO [0-9]$
15+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f7 THEN GOTO [0-9]$
16+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f8 THEN GOTO [0-9]$
17+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f9 THEN GOTO [0-9]$
1818
function \w+: replacing function pointer by 9 possible targets

‎regression/goto-analyzer/approx-const-fp-array-variable-const-struct-non-const-fp/test.desc

+6-6
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,10 @@ main.c
99
^SIGNAL=0$
1010
--
1111
^warning: ignoring
12-
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
13-
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
14-
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
15-
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
16-
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
17-
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
12+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f1 THEN GOTO [0-9]$
13+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f5 THEN GOTO [0-9]$
14+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f6 THEN GOTO [0-9]$
15+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f7 THEN GOTO [0-9]$
16+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f8 THEN GOTO [0-9]$
17+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f9 THEN GOTO [0-9]$
1818
function \w+: replacing function pointer by 9 possible targets

‎regression/goto-analyzer/approx-const-fp-array-variable-invalid-cast-const-fp/test.desc

+6-6
Original file line numberDiff line numberDiff line change
@@ -9,10 +9,10 @@ main.c
99
^SIGNAL=0$
1010
--
1111
^warning: ignoring
12-
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
13-
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
14-
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
15-
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
16-
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
17-
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
12+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f1 THEN GOTO [0-9]$
13+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f5 THEN GOTO [0-9]$
14+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f6 THEN GOTO [0-9]$
15+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f7 THEN GOTO [0-9]$
16+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f8 THEN GOTO [0-9]$
17+
^\s*IF fp_tbl\[\(signed( long)? long int\)i\] == f9 THEN GOTO [0-9]$
1818
function \w+: replacing function pointer by 9 possible targets

‎regression/goto-analyzer/constant_propagation_05/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ main.c
33
--constants --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 12 function main, assertion j!=3: Failure (if reachable)$
6+
^\[main.assertion.1\] file main.c line 12 function main, assertion j != 3: Failure \(if reachable\)$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/constant_propagation_10/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ main.c
33
--constants --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 10 function main, assertion a\[0\]==2: Failure$
6+
^\[main.assertion.1\] file main.c line 10 function main, assertion a\[(\(signed( long)? long int\))?0\] == 2: Failure$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/constant_propagation_11/test.desc

+2-2
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33
--constants --simplify out.gb
44
^EXIT=0$
55
^SIGNAL=0$
6-
^Simplified: assert: 1, assume: 0, goto: 0$
7-
^Unmodified: assert: 0, assume: 0, goto: 0$
6+
^Simplified: assert: 1, assume: 0, goto: 0, assigns: 0, function calls: 0$
7+
^Unmodified: assert: 0, assume: 0, goto: 0, assigns: 0, function calls: 0$
88
--
99
^warning: ignoring

‎regression/goto-analyzer/constant_propagation_13/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ main.c
33
--constants --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 9 function main, assertion y==0: Failure (if reachable)$
6+
^\[main.assertion.1\] file main.c line 9 function main, assertion y == 0: Failure \(if reachable\)$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/constant_propagation_14/test.desc

+2-2
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33
--constants --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 11 function main, assertion a\[0\]==1 || a\[0\]==2: Success$
7-
^\[main.assertion.2\] file main.c line 12 function main, assertion a\[0\]==1 && a\[0\]==2: Failure$
6+
^\[main.assertion.1\] file main.c line 11 function main, assertion tmp_if_expr: Success$
7+
^\[main.assertion.2\] file main.c line 12 function main, assertion tmp_if_expr\$1: Failure$
88
--
99
^warning: ignoring

‎regression/goto-analyzer/constant_propagation_15/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ main.c
33
--constants --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 9 function main, assertion a\[0\]==2: Failure$
6+
^\[main.assertion.1\] file main.c line 9 function main, assertion a\[(\(signed( long)? long int\))?0\] == 2: Failure$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/intervals_02/test.desc

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
KNOWNBUG
1+
CORE
22
main.c
33
--intervals --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 7 function main, assertion x > -10 && x < 100: Success$
6+
^\[main.assertion.1\] file main.c line 5 function main, assertion x > -10 \&\& x < 100: Success$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/intervals_03/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ main.c
33
--intervals --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 7 function main, assertion x > -10 || x < 100: Success$
6+
^\[main.assertion.1\] file main.c line 6 function main, assertion x > -10 \|\| x < 100: Success$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/intervals_04/test.desc

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
KNOWNBUG
1+
CORE
22
main.c
33
--intervals --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 9 function main, assertion i >= 1 && i <= 2: Success$
6+
^\[main.assertion.1\] file main.c line 8 function main, assertion i >= 1 && i <= 2: Success$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/intervals_05/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ main.c
33
--intervals --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 9 function main, assertion i >= 1 || i <= 2: Success$
6+
^\[main.assertion.1\] file main.c line 8 function main, assertion i >= 1 \|\| i <= 2: Success$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/intervals_06/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ main.c
33
--intervals --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 7 function main, assertion x < -10 || x > 100: Failure (if reachable)$
6+
^\[main.assertion.1\] file main.c line 7 function main, assertion x < -10 \|\| x > 100: Failure \(if reachable\)$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/intervals_07/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ main.c
33
--intervals --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 7 function main, assertion x < -10 && x > 100: Failure (if reachable)$
6+
^\[main.assertion.1\] file main.c line 7 function main, assertion x < -10 \&\& x > 100: Failure \(if reachable\)$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/intervals_08/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ main.c
33
--intervals --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 6 function main, assertion x < -10 && x < 100: Failure (if reachable)$
6+
^\[main.assertion.1\] file main.c line 6 function main, assertion x < -10 \&\& x < 100: Failure \(if reachable\)$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/intervals_09/test.desc

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
KNOWNBUG
1+
CORE
22
main.c
33
--intervals --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 9 function main, assertion i>=1 && i<=2: Success$
6+
^\[main.assertion.1\] file main.c line 8 function main, assertion i >= 1 \&\& i <= 2: Success$
77
--
88
^warning: ignoring

‎regression/goto-analyzer/intervals_10/test.desc

+2-2
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,8 @@ main.c
55
^SIGNAL=0$
66
^\[main.assertion.1\] file main.c line 8 function main, assertion j<=100: Success$
77
^\[main.assertion.2\] file main.c line 11 function main, assertion j<101: Success$
8-
^\[main.assertion.3\] file main.c line 14 function main, assertion j>100: Failure (if reachable)$
8+
^\[main.assertion.3\] file main.c line 14 function main, assertion j>100: Failure \(if reachable\)$
99
^\[main.assertion.4\] file main.c line 17 function main, assertion j<99: Unknown$
10-
^\[main.assertion.5\] file main.c line 20 function main, assertion j==100: Failure (if reachable)$
10+
^\[main.assertion.5\] file main.c line 20 function main, assertion j==100: Failure \(if reachable\)$
1111
--
1212
^warning: ignoring

‎regression/goto-analyzer/intervals_11/test.desc

+2-2
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33
--intervals --verify
44
^EXIT=0$
55
^SIGNAL=0$
6-
^\[main.assertion.1\] file main.c line 30 function main, assertion y\[i\]>=-1.0f && y\[i\]<=1.0f: Unknown$
7-
^\[main.assertion.2\] file main.c line 35 function main, assertion y\[i\]>=-1.0f && y\[i\]<=1.0f: Unknown$
6+
^\[main.assertion.1\] file main.c line 30 function main, assertion y\[i\]>=-1.0f \&\& y\[i\]<=1.0f: Unknown$
7+
^\[main.assertion.2\] file main.c line 35 function main, assertion y\[i\]>=-1.0f \&\& y\[i\]<=1.0f: Unknown$
88
--
99
^warning: ignoring

‎regression/strings/test_index_of/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -5,5 +5,5 @@ test.c
55
^SIGNAL=0$
66
^\[main.assertion.1\] assertion firstSlash == 3: SUCCESS$
77
^\[main.assertion.2\] assertion lastSlash == 7: SUCCESS$
8-
^\[main.assertion.3\] assertion firstSlash != 3 || lastSlash != 7: FAILURE$
8+
^\[main.assertion.3\] assertion firstSlash != 3 \|\| lastSlash != 7: FAILURE$
99
--

‎regression/strings/test_int/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,5 @@ test.c
66
^\[main.assertion.1\] assertion __CPROVER_char_at\(s,0\) == .1.: SUCCESS$
77
^\[main.assertion.2\] assertion __CPROVER_char_at\(s,1\) == .2.: SUCCESS$
88
^\[main.assertion.3\] assertion j == 234: SUCCESS$
9-
^\[main.assertion.4\] assertion j < 233 || __CPROVER_char_at\(s,2\) == .4.: FAILURE$
9+
^\[main.assertion.4\] assertion j < 233 \|\| __CPROVER_char_at\(s,2\) == .4.: FAILURE$
1010
--

0 commit comments

Comments
 (0)