Adapt existing regression tests

Matthias Güdemann · Matthias Güdemann · commit 74ac6e13edc5 · 2017-05-19T08:31:20.000+02:00
diff --git a/regression/cbmc-java/LocalVarTable5/test.desc b/regression/cbmc-java/LocalVarTable5/test.desc
@@ -4,7 +4,7 @@ test.class
 dead anonlocal::1i
 dead anonlocal::2i
 dead anonlocal::3a
-dead new_tmp0
+dead new_tmp[0123456789]+
 ^EXIT=0$
 ^SIGNAL=0$
 --
diff --git a/regression/cbmc-java/destructor1/test.desc b/regression/cbmc-java/destructor1/test.desc
@@ -5,4 +5,4 @@ Break.class
 ^SIGNAL=0$
 dead i;
 --
-GOTO 10
+GOTO 11

-Original file line number
+Diff line change
 ^SIGNAL=0$
 dead i;
 --
 -GOTO 10
 +GOTO 11