From 2235d3dc9e090a1d4b13d653138838624c70ba26 Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Wed, 7 Jul 2010 17:52:18 +0000
Subject: Boogie: Added stratified inlining. It is enabled using the flag
 /stratifiedInline:1.

---
 Test/alltests.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Test/alltests.txt')

diff --git a/Test/alltests.txt b/Test/alltests.txt
index e5f91e61..b566d8af 100644
--- a/Test/alltests.txt
+++ b/Test/alltests.txt
@@ -25,3 +25,4 @@ VSI-Benchmarks   Use    Solutions to Verified Software Initiative verification c
 vacid0           Use    Dafny attempts to VACID Edition 0 benchmarks
 livevars	 Use	STORM benchmarks for testing correctness of live variable analysis
 lazyinline	 Use	Lazy inlining benchmarks
+stratifiedinline	 Use	Stratified inlining benchmarks
-- 
cgit v1.2.3