From bef7f2ff0dbe833b157970efa16b12086776ef70 Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Mon, 10 Sep 2012 16:13:03 -0700
Subject: Dafny: improved checking of inherited postconditions (in refinements)

---
 Test/dafny0/runtest.bat | 6 ++++++
 1 file changed, 6 insertions(+)

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

diff --git a/Test/dafny0/runtest.bat b/Test/dafny0/runtest.bat
index 1ccb292c..2055e283 100644
--- a/Test/dafny0/runtest.bat
+++ b/Test/dafny0/runtest.bat
@@ -29,6 +29,12 @@ for %%f in (TypeTests.dfy NatTypes.dfy SmallTests.dfy Definedness.dfy
   %DAFNY_EXE% /compile:0 /print:out.bpl.tmp /dprint:out.dfy.tmp %* %%f
 )
 
+for %%f in (Superposition.dfy) do (
+  echo.
+  echo -------------------- %%f --------------------
+  %DAFNY_EXE% /compile:0 /print:out.bpl.tmp /dprint:out.dfy.tmp /tracePOs %* %%f
+)
+
 for %%f in (SmallTests.dfy LetExpr.dfy) do (
   echo.
   echo -------------------- %%f --------------------
-- 
cgit v1.2.3