Modified the expected goto-program for cbmc-java/virtual7 as exception handling instrumentation introduces new labels and GOTOs

cristina-david · cristina-david · commit 45239a8fbec8 · 2017-03-10T18:38:29.000Z
diff --git a/regression/cbmc-java/virtual7/test.desc b/regression/cbmc-java/virtual7/test.desc
@@ -9,4 +9,3 @@ IF "java::D".*THEN GOTO [67]
 IF "java::C".*THEN GOTO [67]
 --
 IF "java::A".*THEN GOTO
-GOTO 9
