From 130c4348449799c450f45f4d634fbaa94f2c479a Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Thu, 18 Oct 2012 17:38:01 -0700 Subject: Dafny: adjusted Answer file for reordering --- Test/dafny0/Answer | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index f586aa8b..ee455e7b 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -332,10 +332,10 @@ Execution trace: Definedness.dfy(86,5): Error: possible violation of function precondition Execution trace: (0,0): anon0 -Definedness.dfy(86,10): Error: assignment may update an object not in the enclosing context's modifies clause +Definedness.dfy(86,10): Error: target object may be null Execution trace: (0,0): anon0 -Definedness.dfy(86,10): Error: target object may be null +Definedness.dfy(86,10): Error: assignment may update an object not in the enclosing context's modifies clause Execution trace: (0,0): anon0 Definedness.dfy(87,10): Error: possible violation of function precondition @@ -872,19 +872,19 @@ Execution trace: Dafny program verifier finished with 32 verified, 11 errors -------------------- ControlStructures.dfy -------------------- -ControlStructures.dfy(5,3): Error: missing case in case statement: Blue +ControlStructures.dfy(5,3): Error: missing case in case statement: Purple Execution trace: (0,0): anon0 (0,0): anon6_Else (0,0): anon7_Else - (0,0): anon8_Else - (0,0): anon9_Then -ControlStructures.dfy(5,3): Error: missing case in case statement: Purple + (0,0): anon8_Then +ControlStructures.dfy(5,3): Error: missing case in case statement: Blue Execution trace: (0,0): anon0 (0,0): anon6_Else (0,0): anon7_Else - (0,0): anon8_Then + (0,0): anon8_Else + (0,0): anon9_Then ControlStructures.dfy(14,3): Error: missing case in case statement: Purple Execution trace: (0,0): anon0 -- cgit v1.2.3