diff options
| author |  Rustan Leino <unknown> | 2013-08-04 17:55:06 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-08-04 17:55:06 -0700 |
| commit | a1710a324a8d92935cd7bc8ecbda115b9cd09748 (patch) | |
| tree | 0da87df5c79764cc7d46da695561ea8134f60146 /Test/dafny0/runtest.bat | |
| parent | 8af0f2d97ab5ca1a212c7f4901c43059ccb08e36 (diff) | |
Set up call-graph to keep track of edges between functions and methods. (To be done: replace InMethodContext with a Function/Method-Height in translator.)
Diffstat (limited to 'Test/dafny0/runtest.bat')
| -rw-r--r-- | Test/dafny0/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/runtest.bat b/Test/dafny0/runtest.bat index b911625b..703f8a2c 100644 --- a/Test/dafny0/runtest.bat +++ b/Test/dafny0/runtest.bat @@ -16,7 +16,7 @@ for %%f in (TypeTests.dfy NatTypes.dfy Definedness.dfy ModulesCycle.dfy Modules0.dfy Modules1.dfy Modules2.dfy BadFunction.dfy
Comprehensions.dfy Basics.dfy ControlStructures.dfy
Termination.dfy DTypes.dfy ParallelResolveErrors.dfy Parallel.dfy
- TypeParameters.dfy Datatypes.dfy
+ TypeParameters.dfy Datatypes.dfy StatementExpressions.dfy
Coinductive.dfy Corecursion.dfy CoResolution.dfy
CoPrefix.dfy CoinductiveProofs.dfy
TypeAntecedents.dfy NoTypeArgs.dfy EqualityTypes.dfy SplitExpr.dfy
|