From 356ebe6de99459cfb89920b18124aae016206ef0 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 7 May 2014 16:24:51 +0100
Subject: Enabled VC Generation lit tests.

---
 Test/test2/sk_hack.bpl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Test/test2/sk_hack.bpl')

diff --git a/Test/test2/sk_hack.bpl b/Test/test2/sk_hack.bpl
index df942317..1d902a74 100644
--- a/Test/test2/sk_hack.bpl
+++ b/Test/test2/sk_hack.bpl
@@ -1,3 +1,5 @@
+// RUN: %boogie -noinfer %s > %t
+// RUN: %diff %s.expect %t
 function in_set(int) returns(bool);
 function next(int) returns(int);
 function f(int) returns(bool);
-- 
cgit v1.2.3