diff options
author | wuestholz <unknown> | 2014-07-01 17:52:52 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-07-01 17:52:52 +0200 |
commit | 39a8abe0d2d6e4bda54fb3a481b049c19fe1dba9 (patch) | |
tree | 080d46bedfcfeee20efbcdd344a701064829305d /Test/vacid0 | |
parent | c5b2aec063fc1f3d5e61ff1b14983c5e4ba7c2ea (diff) |
Removed the old test infrastructure.
Diffstat (limited to 'Test/vacid0')
-rw-r--r-- | Test/vacid0/Answer | 12 | ||||
-rw-r--r-- | Test/vacid0/AnswerRuntimeChecking | 0 | ||||
-rw-r--r-- | Test/vacid0/runtest.bat | 13 |
3 files changed, 0 insertions, 25 deletions
diff --git a/Test/vacid0/Answer b/Test/vacid0/Answer deleted file mode 100644 index 90bbcc78..00000000 --- a/Test/vacid0/Answer +++ /dev/null @@ -1,12 +0,0 @@ -
--------------------- LazyInitArray.dfy --------------------
-
-Dafny program verifier finished with 7 verified, 0 errors
-
--------------------- SparseArray.dfy --------------------
-
-Dafny program verifier finished with 9 verified, 0 errors
-
--------------------- Composite.dfy --------------------
-
-Dafny program verifier finished with 16 verified, 0 errors
diff --git a/Test/vacid0/AnswerRuntimeChecking b/Test/vacid0/AnswerRuntimeChecking deleted file mode 100644 index e69de29b..00000000 --- a/Test/vacid0/AnswerRuntimeChecking +++ /dev/null diff --git a/Test/vacid0/runtest.bat b/Test/vacid0/runtest.bat deleted file mode 100644 index d7f31c3b..00000000 --- a/Test/vacid0/runtest.bat +++ /dev/null @@ -1,13 +0,0 @@ -@echo off
-setlocal
-
-set BINARIES=..\..\Binaries
-set DAFNY_EXE=%BINARIES%\Dafny.exe
-
-%DAFNY_EXE% /compile:0 /verifySeparately %* LazyInitArray.dfy SparseArray.dfy Composite.dfy
-
-rem for %%f in (LazyInitArray.dfy SparseArray.dfy Composite.dfy) do (
-rem echo.
-rem echo -------------------- %%f --------------------
-rem %DAFNY_EXE% /compile:0 %* %%f
-rem )
|