diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-10 18:37:47 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-10 18:37:47 -0700 |
| commit | fc76541682ec019b8a2dc08ca9972ff517db9b74 (patch) | |
| tree | 5c1031bdadd59e5c6a05b960cb2dabbb2070a56e /Test/test15/IntInModel.bpl | |
| parent | bef7f2ff0dbe833b157970efa16b12086776ef70 (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/IntInModel.bpl')
0 files changed, 0 insertions, 0 deletions