From 6c78b619a18eadac82f4cb54d2c5bb5e8c0b547c Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Tue, 6 May 2014 20:28:12 +0100
Subject: Enabled lit tests for test1/ directory Bizarely Array.bpl does not
 pass on Windows. This will be fixed soon.

---
 Test/test1/LogicalExprs.bpl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Test/test1/LogicalExprs.bpl')

diff --git a/Test/test1/LogicalExprs.bpl b/Test/test1/LogicalExprs.bpl
index 028d18f4..e63e3dce 100644
--- a/Test/test1/LogicalExprs.bpl
+++ b/Test/test1/LogicalExprs.bpl
@@ -1,3 +1,5 @@
+// RUN: %boogie -noVerify %s > %t
+// RUN: %diff %s.expect %t
 const P: bool;
 const Q: bool;
 
-- 
cgit v1.2.3