1 files changed, 49 insertions, 0 deletions
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer
index 2463b0e5..28f438af 100644
--- a/Test/dafny0/Answer
+++ b/Test/dafny0/Answer
@@ -527,6 +527,55 @@ Execution trace:
 
 Dafny program verifier finished with 2 verified, 1 error
 
+-------------------- Comprehensions.dfy --------------------
+Comprehensions.dfy(9,14): Error: assertion violation
+Execution trace:
+    (0,0): anon0
+    (0,0): anon9_Then
+    (0,0): anon10_Then
+    (0,0): anon4
+    (0,0): anon11_Then
+    (0,0): anon12_Then
+    (0,0): anon8
+
+Dafny program verifier finished with 6 verified, 1 error
+
+-------------------- ControlStructures.dfy --------------------
+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_Else
+    (0,0): anon9_Then
+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_Then
+ControlStructures.dfy(14,3): Error: missing case in case statement: Purple
+Execution trace:
+    (0,0): anon0
+    (0,0): anon6_Else
+    (0,0): anon7_Else
+    (0,0): anon8_Then
+ControlStructures.dfy(43,5): Error: missing case in case statement: Red
+Execution trace:
+    (0,0): anon0
+    (0,0): anon8_Then
+    (0,0): anon9_Else
+    (0,0): anon10_Then
+ControlStructures.dfy(51,3): Error: missing case in case statement: Red
+Execution trace:
+    (0,0): anon8_Else
+    (0,0): anon9_Else
+    (0,0): anon10_Else
+    (0,0): anon11_Else
+    (0,0): anon12_Then
+
+Dafny program verifier finished with 8 verified, 5 errors
+
 -------------------- Termination.dfy --------------------
 Termination.dfy(102,3): Error: cannot prove termination; try supplying a decreases clause for the loop
 Execution trace: