summaryrefslogtreecommitdiff
path: root/Test/test15
diff options
context:
space:
mode:
authorGravatar Unknown <leino@LEINO6.redmond.corp.microsoft.com>2012-09-10 18:37:47 -0700
committerGravatar Unknown <leino@LEINO6.redmond.corp.microsoft.com>2012-09-10 18:37:47 -0700
commitfc76541682ec019b8a2dc08ca9972ff517db9b74 (patch)
tree5c1031bdadd59e5c6a05b960cb2dabbb2070a56e /Test/test15
parentbef7f2ff0dbe833b157970efa16b12086776ef70 (diff)
Dafny: did a little to extend the support of labeled statements in refinements (things like multiple labels are still not thought through very well)
Diffstat (limited to 'Test/test15')
0 files changed, 0 insertions, 0 deletions