diff options
| author |  rustanleino <unknown> | 2010-03-16 02:21:34 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-03-16 02:21:34 +0000 |
| commit | e24f345de7baff1a23f941647575ef85d96ca2f6 (patch) | |
| tree | 0ff31a0f912f4d2be394c82a1be280da9ccf901d /Test/dafny0/runtest.bat | |
| parent | d83d1f3813e2765db4e3855adcb10fc3319a737f (diff) | |
Dafny:
* Beginning of module implementation
* Changed "class" modifier (for functions and methods) to "static"
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
|