diff options
Diffstat (limited to 'Test/dafny0/runtest.bat')
| -rw-r--r-- | Test/dafny0/runtest.bat | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Test/dafny0/runtest.bat b/Test/dafny0/runtest.bat index c1837b43..2bec0a4d 100644 --- a/Test/dafny0/runtest.bat +++ b/Test/dafny0/runtest.bat @@ -17,7 +17,8 @@ for %%f in (BQueue.bpl) do ( %BPLEXE% %* %%f
)
-for %%f in (TypeTests.dfy SmallTests.dfy Queue.dfy ListCopy.dfy
+for %%f in (TypeTests.dfy SmallTests.dfy Definedness.dfy
+ Modules0.dfy Queue.dfy ListCopy.dfy
BinaryTree.dfy ListReverse.dfy ListContents.dfy
SchorrWaite.dfy Termination.dfy Use.dfy DTypes.dfy
TypeParameters.dfy Datatypes.dfy UnboundedStack.dfy
|