From 3b38b009d086c601cae884ad62ceeb9bb16ae5d5 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 5 May 2014 19:51:59 +0100 Subject: Enabled most of the name resolution lit tests. They don't all pass yet due to a bug in -useBaseNameForFileName. --- Test/test0/SeparateVerification0.bpl.expect | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 Test/test0/SeparateVerification0.bpl.expect (limited to 'Test/test0/SeparateVerification0.bpl.expect') diff --git a/Test/test0/SeparateVerification0.bpl.expect b/Test/test0/SeparateVerification0.bpl.expect new file mode 100644 index 00000000..ab1318bd --- /dev/null +++ b/Test/test0/SeparateVerification0.bpl.expect @@ -0,0 +1,2 @@ +SeparateVerification0.bpl(19,6): Error: undeclared identifier: y +1 name resolution errors detected in SeparateVerification0.bpl -- cgit v1.2.3