diff options
author | 2011-02-03 21:38:20 +0000 | |
---|---|---|
committer | 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