From d3e8fdae367e29bc9fae675b3befe5a3bbc5daa0 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Tue, 22 Jan 2013 23:20:40 -0800
Subject: Examples from co-induction paper

---
 Test/dafny3/runtest.bat | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Test/dafny3/runtest.bat')

diff --git a/Test/dafny3/runtest.bat b/Test/dafny3/runtest.bat
index 83d2bba9..aeffee89 100644
--- a/Test/dafny3/runtest.bat
+++ b/Test/dafny3/runtest.bat
@@ -6,7 +6,8 @@ set DAFNY_EXE=%BINARIES%\Dafny.exe
 
 for %%f in (
   Iter.dfy Streams.dfy Dijkstra.dfy CachedContainer.dfy
-  SimpleCoinduction.dfy CalcExample.dfy
+  SimpleInduction.dfy SimpleCoinduction.dfy CalcExample.dfy
+  InductionVsCoinduction.dfy Zip.dfy
 ) do (
   echo.
   echo -------------------- %%f --------------------
-- 
cgit v1.2.3