From f0d11b78f3453b5cfbb524e6d0c7214442814351 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Fri, 22 Nov 2013 11:19:15 -0800
Subject: do monomorphic checking

---
 Test/test21/Answer | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Test/test21')

diff --git a/Test/test21/Answer b/Test/test21/Answer
index 28aa4e8b..3ae659ec 100644
--- a/Test/test21/Answer
+++ b/Test/test21/Answer
@@ -400,8 +400,11 @@ Boogie program verifier finished with 1 verified, 0 errors
 Colors.bpl(13,3): Error BP5001: This assertion might not hold.
 Execution trace:
     Colors.bpl(12,3): anon0
+Colors.bpl(20,3): Error BP5001: This assertion might not hold.
+Execution trace:
+    Colors.bpl(19,3): anon0
 
-Boogie program verifier finished with 1 verified, 1 error
+Boogie program verifier finished with 0 verified, 2 errors
 --------------------- File HeapAbstraction.bpl ----------------------------
 HeapAbstraction.bpl(15,3): Error BP5001: This assertion might not hold.
 Execution trace:
-- 
cgit v1.2.3