From 56916c9d12f608dc580f4da03ef3dcbe35f42ef8 Mon Sep 17 00:00:00 2001 From: qadeer Date: Wed, 10 Jun 2015 11:18:49 -0700 Subject: relaxed the check for created and hidden layers for skip actions --- Test/civl/chris3.bpl.expect | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'Test/civl') diff --git a/Test/civl/chris3.bpl.expect b/Test/civl/chris3.bpl.expect index c8b2ab00..b415d3b9 100644 --- a/Test/civl/chris3.bpl.expect +++ b/Test/civl/chris3.bpl.expect @@ -1,3 +1,2 @@ -chris3.bpl(3,33): Error: Creation layer number must be less than the available upto layer number -chris3.bpl(14,33): Error: Creation layer number must be less than the available upto layer number -2 type checking errors detected in chris3.bpl +chris3.bpl(17,2): Error: The callee is not available in the caller procedure +1 type checking errors detected in chris3.bpl -- cgit v1.2.3