From d652155ae013f36a1ee17653a8e458baad2d9c2c Mon Sep 17 00:00:00 2001 From: Checkmate50 Date: Mon, 6 Jun 2016 23:14:18 -0600 Subject: Merging complete. Everything looks good *crosses fingers* --- Test/z3api/boog15.bpl | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'Test/z3api/boog15.bpl') diff --git a/Test/z3api/boog15.bpl b/Test/z3api/boog15.bpl index 428c0f6e..5c3eb0e5 100644 --- a/Test/z3api/boog15.bpl +++ b/Test/z3api/boog15.bpl @@ -1,11 +1,11 @@ -type ref; -function AtLeast(int, int) returns ([int]bool); -axiom(forall n:int, x:int :: {AtLeast(n,x)} AtLeast(n,x)[x]); - -var myInt:int; -procedure main() -modifies myInt; -ensures myInt==5; -{ - myInt:=4; +type ref; +function AtLeast(int, int) returns ([int]bool); +axiom(forall n:int, x:int :: {AtLeast(n,x)} AtLeast(n,x)[x]); + +var myInt:int; +procedure main() +modifies myInt; +ensures myInt==5; +{ + myInt:=4; } \ No newline at end of file -- cgit v1.2.3