Adapt regression tests for virtual functions.

These tests were failing when the new way was used which groups class identifiers that have the same resolved function call. Unfortunately the result is not unique here which makes those tests not too useful.
smowton · Feb 5, 2018 · 3df5348 · 3df5348
1 parent 09efc90
commit 3df5348
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 8 deletions.
diff --git a/regression/cbmc-java/virtual6/test.desc b/regression/cbmc-java/virtual6/test.desc
@@ -3,5 +3,4 @@ A.class
 --function A.main --show-goto-functions
 ^EXIT=0$
 ^SIGNAL=0$
-IF "java::C".*THEN GOTO
-IF "java::B".*THEN GOTO
+IF "java::A".*THEN GOTO
diff --git a/regression/cbmc-java/virtual7/test.desc b/regression/cbmc-java/virtual7/test.desc
@@ -3,9 +3,6 @@ test.class
 --show-goto-functions
 ^EXIT=0$
 ^SIGNAL=0$
-IF "java::E".*THEN GOTO [12]
-IF "java::B".*THEN GOTO [12]
-IF "java::D".*THEN GOTO [12]
-IF "java::C".*THEN GOTO [12]
---
-IF "java::A".*THEN GOTO
+IF.*"java::C".*THEN GOTO [12]
+IF.*"java::D".*THEN GOTO [12]
+IF.*"java::A".*THEN GOTO [12]