From 0ca423c504048ec31149b6d7b1a257c25f368910 Mon Sep 17 00:00:00 2001 From: qadeer Date: Sat, 13 Feb 2010 18:56:40 +0000 Subject: eliminated the line printing version number in the golden output --- Test/livevars/Answer | 4 ---- 1 file changed, 4 deletions(-) (limited to 'Test') diff --git a/Test/livevars/Answer b/Test/livevars/Answer index 6bcba1c3..d958205f 100644 --- a/Test/livevars/Answer +++ b/Test/livevars/Answer @@ -1,4 +1,3 @@ -Boogie program verifier version 1.0.21126, Copyright (c) 2003-2010, Microsoft. bla1.bpl(2095,5): Error BP5001: This assertion might not hold. Execution trace: bla1.bpl(749,3): start#1 @@ -99,10 +98,8 @@ Execution trace: bla1.bpl(2086,3): label_1#1 Boogie program verifier finished with 0 verified, 1 error -Boogie program verifier version 1.0.21126, Copyright (c) 2003-2010, Microsoft. Boogie program verifier finished with 1 verified, 0 errors -Boogie program verifier version 1.0.21126, Copyright (c) 2003-2010, Microsoft. daytona_bug2_ioctl_example_2.bpl(4833,5): Error BP5001: This assertion might not hold. Execution trace: daytona_bug2_ioctl_example_2.bpl(805,3): start#2 @@ -296,7 +293,6 @@ Execution trace: daytona_bug2_ioctl_example_2.bpl(4824,3): label_1#2 Boogie program verifier finished with 0 verified, 1 error -Boogie program verifier version 1.0.21126, Copyright (c) 2003-2010, Microsoft. stack_overflow.bpl(97942,5): Error BP5001: This assertion might not hold. Execution trace: stack_overflow.bpl(1141,3): start#1 -- cgit v1.2.3