Merge pull request #402 from smowton/fix_dataflow1_test

Fix data-flow1 test

Author: Daniel Kroening

regression/goto-instrument/data-flow1/test.desc

@@ -3,6 +3,6 @@ main.c
 "--show-dependence-graph"
 ^EXIT=0$
 ^SIGNAL=0$
-Data dependencies: .*33.*
+Data dependencies: *[0-9]\+,[0-9]\+,[0-9]\+
 --
 ^warning: ignoring