From 868c3ef5b53f0a07a4bd0f45b47269800564e251 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 7 May 2014 20:52:44 +0100
Subject: Enabled "Extract loops benchmarks" lit tests.

---
 Test/extractloops/detLoopExtract1.bpl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Test/extractloops/detLoopExtract1.bpl')

diff --git a/Test/extractloops/detLoopExtract1.bpl b/Test/extractloops/detLoopExtract1.bpl
index 8388cd57..80646ef2 100644
--- a/Test/extractloops/detLoopExtract1.bpl
+++ b/Test/extractloops/detLoopExtract1.bpl
@@ -1,3 +1,5 @@
+// RUN: %boogie -stratifiedInline:1 -extractLoops -removeEmptyBlocks:0 -coalesceBlocks:0 -deterministicExtractLoops -recursionBound:4 %s > %t
+// RUN: %diff %s.expect %t
 var g:int;
 
 procedure {:entrypoint} Foo(a:int)
-- 
cgit v1.2.3