From 98407f4fc7af2fbe5a54488dfdfc3973b72d2fd3 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 7 May 2014 19:10:57 +0100
Subject: Enable "SLAM example" lit tests.

---
 Test/lock/LockIncorrect.bpl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Test/lock/LockIncorrect.bpl')

diff --git a/Test/lock/LockIncorrect.bpl b/Test/lock/LockIncorrect.bpl
index 776f8af6..cffcc256 100644
--- a/Test/lock/LockIncorrect.bpl
+++ b/Test/lock/LockIncorrect.bpl
@@ -1,3 +1,5 @@
+// RUN: %boogie %s > %t
+// RUN: %diff %s.expect %t
 procedure LockingExample();
 
 implementation LockingExample()
-- 
cgit v1.2.3