Skip to content

Commit f63213a

Browse files
committed
Fix variable sensitivity dependence graph regression test
1 parent 80448ec commit f63213a

File tree

1 file changed

+1
-1
lines changed
  • regression/goto-analyzer/variable-sensitivity-dependence-graph-merge

1 file changed

+1
-1
lines changed

regression/goto-analyzer/variable-sensitivity-dependence-graph-merge/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,5 +3,5 @@ main.c
33
--dependence-graph-vs --structs --arrays --verify
44
EXIT=0
55
SIGNAL=0
6-
^\[main.assertion.1\] file .* function main, idx==1: Unknown$
6+
^\[main.assertion.1\] file .* function main, s_str.idx > 1: Unknown$
77
--

0 commit comments

Comments
 (0)