diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-18 01:48:13 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-18 01:48:13 -0800 |
| commit | 67d1bedda04be408b0240669865bb25b20e1c838 (patch) | |
| tree | 8b81dc183e8c6825b0b7be52fe84227f17a688f0 /Source/Dafny/SccGraph.cs | |
| parent | 04ecc3961760b958476669dff17b9803f0163e3a (diff) | |
Dafny: allow a refinement to provide a function/method body if the function/method being refined didn't have one
Diffstat (limited to 'Source/Dafny/SccGraph.cs')
0 files changed, 0 insertions, 0 deletions