diff options
| author |  rustanleino <unknown> | 2011-02-03 21:38:20 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-02-03 21:38:20 +0000 |
| commit | 98cdc9e603c1517c4e4cb56681e60073fca574dc (patch) | |
| tree | 2a4af5546ee017942c17d280499b50b8385c5c9f /Test/dafny1/runtest.bat | |
| parent | 13d5431ef7bcbf03138178756d91911d6e805cdb (diff) | |
Dafny: every decreases clause implicitly ends with a never-ending sequence of TOP elements; this reduces the need for manually supplied decreases clauses (see the Outer/Inner example in Test/dafny0/Termination.dfy and the Substitute/SubstSeq example in Test/dafny1/Substitution.dfy).
Diffstat (limited to 'Test/dafny1/runtest.bat')
0 files changed, 0 insertions, 0 deletions