From 260c8ec9936841a01dbba148f9b96c9c054e401c Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Tue, 31 Jan 2017 16:15:58 +0000 Subject: [PATCH] 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. --- regression/cbmc-java/NullPointer2/test.desc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/regression/cbmc-java/NullPointer2/test.desc b/regression/cbmc-java/NullPointer2/test.desc index f89103d5f5..3be1eaa44f 100644 --- 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