replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update test.desc

This commit is contained in:
zhixing-xu 2018-08-07 09:44:52 -04:00
parent 0d7ebd55f9
commit 2b40338509
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
regression/goto-analyzer/dependence-graph14/test.desc
View File

@ -4,11 +4,9 @@ main.c
activate-multi-line-match
^EXIT=0$
^SIGNAL=0$
// Assignment has a data dependency on the assignment of a[2]
\/\/ ([0-9]+).*\n.*a\[\(signed long int\)2\] = 2;(.*\n)*Data dependencies: (\1)\n(.*\n){2,3}.*out = *
\/\/ ([0-9]+).*\n.*a\[\(signed long( long)? int\)2\] = 2;(.*\n)*Data dependencies: (\1)\n(.*\n){2,3}.*out = *
--
// Assignment has no data dependency on the assignment of a[1]
\/\/ ([0-9]+).*\n.*a\[\(signed long int\)1\] = 1;(.*\n)*Data dependencies: (\1)\n(.*\n){2,3}.*out = *
\/\/ ([0-9]+).*\n.*a\[\(signed long( long)? int\)1\] = 1;(.*\n)*Data dependencies: (\1)\n(.*\n){2,3}.*out = *
^warning: ignoring
--