Skip to content

Commit 236e442

Browse files
cristina-davidcristina-david
committed
Adjusted runtime exceptions regression tests
1 parent a6d1084 commit 236e442

File tree

4 files changed

+2
-2
lines changed

4 files changed

+2
-2
lines changed

‎regression/cbmc-java/NullPointerException2/Test.class

0 Bytes
Binary file not shown.

‎regression/cbmc-java/NullPointerException2/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ Test.class
33
--java-throw-runtime-exceptions
44
^EXIT=10$
55
^SIGNAL=0$
6-
^.*assertion at file Test.java line 15 function.*: FAILURE$
6+
^.*assertion at file Test.java line 17 function.*: FAILURE$
77
^VERIFICATION FAILED$
88
--
99
^warning: ignoring

‎regression/cbmc-java/NullPointerException3/Test.class

0 Bytes
Binary file not shown.

‎regression/cbmc-java/NullPointerException3/test.desc

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ Test.class
33
--java-throw-runtime-exceptions
44
^EXIT=10$
55
^SIGNAL=0$
6-
^.*assertion at file Test.java line 15 function.*: FAILURE$
6+
^.*assertion at file Test.java line 17 function.*: FAILURE$
77
^VERIFICATION FAILED$
88
--
99
^warning: ignoring

0 commit comments

Comments
 (0)