Skip to content

Commit 32dcad8

Browse files
author
Daniel Kroening
committed
test approx-const-fp-array-variable-invalid-cast-const-fp now more generous
1 parent 12d45c6 commit 32dcad8

File tree

1 file changed

+3
-3
lines changed
  • regression/goto-analyzer/approx-const-fp-array-variable-invalid-cast-const-fp

1 file changed

+3
-3
lines changed

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

+3-3
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@ CORE
22
main.c
33
--show-goto-functions --verbosity 10 --pointer-check
44
^Removing function pointers and virtual functions$
5-
^\s*IF fp == \(const void_fp\)f2 THEN GOTO [0-9]$
6-
^\s*IF fp == \(const void_fp\)f3 THEN GOTO [0-9]$
7-
^\s*IF fp == \(const void_fp\)f4 THEN GOTO [0-9]$
5+
^\s*IF fp == \(.*\)f2 THEN GOTO [0-9]$
6+
^\s*IF fp == \(.*\)f3 THEN GOTO [0-9]$
7+
^\s*IF fp == \(.*\)f4 THEN GOTO [0-9]$
88
^SIGNAL=0$
99
--
1010
^warning: ignoring

0 commit comments

Comments
 (0)