From c819fabbb8da669952cb7e2e5937c73ff6dcfabe Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Tue, 5 Mar 2013 16:58:16 -0800
Subject: Removed Dafny, Jennisys, Chalice, and BCT, which now live in
 different Codeplex repositories.

---
 Test/alltests.txt | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'Test/alltests.txt')

diff --git a/Test/alltests.txt b/Test/alltests.txt
index 51334da8..ebe396e9 100644
--- a/Test/alltests.txt
+++ b/Test/alltests.txt
@@ -27,11 +27,4 @@ livevars         Use    STORM benchmarks for testing correctness of live variabl
 stratifiedinline Use    Stratified inlining benchmarks
 extractloops     Use    Extract loops benchmarks
 havoc0           Use    HAVOC-generated bpl files
-dafny0           Dafny  Dafny functionality tests
-dafny1           Dafny  Various Dafny examples
-dafny2           Dafny  More Dafny examples
-VSI-Benchmarks   Dafny  Solutions to Verified Software Initiative verification challenges
-vacid0           Dafny  Dafny attempts to VACID Edition 0 benchmarks
-vstte2012        Dafny  Dafny solutions for the VSTTE 2012 program verification competition
-VSComp2010       Dafny  Dafny solutions to VSComp (verified software competition) problems
 AbsHoudini       Postponed    Test for abstract houdini
-- 
cgit v1.2.3