Make test more tolerant of formatting differences

Side-effect of the virtual function table abbreviation code was to give a callsite a more expressive source_location than before.
2017-01-31 16:15:58 +00:00 · 2017-01-31 16:15:58 +00:00 · 260c8ec993
parent e5ff8dcb2c
commit 260c8ec993
1 changed files with 1 additions and 1 deletions
--- a/regression/cbmc-java/NullPointer2/test.desc
+++ b/regression/cbmc-java/NullPointer2/test.desc
@ -3,7 +3,7 @@ NullPointer2.class
 --pointer-check --stop-on-fail
 ^EXIT=10$
 ^SIGNAL=0$
-^  file NullPointer2.java line 9 function java::NullPointer2.main:(\[Ljava/lang/String;)V$
+^  file NullPointer2.java line 9 function java::NullPointer2.main:(\[Ljava/lang/String;)V
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring