diff options
| author |  qadeer <qadeer@microsoft.com> | 2015-06-10 11:18:49 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2015-06-10 11:18:49 -0700 |
| commit | 56916c9d12f608dc580f4da03ef3dcbe35f42ef8 (patch) | |
| tree | d9fc0190281c2fe140052d1d6bdc5421d52d69f2 /Test/civl | |
| parent | 9c97c7c52776575485c3b131202addb1d864e3d9 (diff) | |
relaxed the check for created and hidden layers for skip actions
Diffstat (limited to 'Test/civl')
| -rw-r--r-- | Test/civl/chris3.bpl.expect | 5 |
1 files changed, 2 insertions, 3 deletions
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 |