diff options
| author |  Jason Koenig <unknown> | 2011-06-29 17:41:26 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2011-06-29 17:41:26 -0700 |
| commit | 8f3ab6b21217b6a5d2baca3866c0624e82c0446c (patch) | |
| tree | 5fab5f8b93e9c58f5b4a147f389365ea678c03ba /Test/dafny0/runtest.bat | |
| parent | d6de97bc7c2d7cb310406f4fe07828d5dbe5a027 (diff) | |
Added regression tests for new return statements with parameters.
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 3c64f623..f606c183 100644 --- a/Test/dafny0/runtest.bat +++ b/Test/dafny0/runtest.bat @@ -18,7 +18,8 @@ for %%f in (TypeTests.dfy NatTypes.dfy SmallTests.dfy Definedness.dfy Comprehensions.dfy Basics.dfy ControlStructures.dfy
Termination.dfy DTypes.dfy
TypeParameters.dfy Datatypes.dfy TypeAntecedents.dfy SplitExpr.dfy
- Refinement.dfy RefinementErrors.dfy LoopModifies.dfy) do (
+ Refinement.dfy RefinementErrors.dfy LoopModifies.dfy
+ ReturnErrors.dfy ReturnTests.dfy) do (
echo.
echo -------------------- %%f --------------------
%DAFNY_EXE% /compile:0 %* %%f
|