diff options
| author |  Unknown <leino@LEINO4.redmond.corp.microsoft.com> | 2011-04-05 17:03:28 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO4.redmond.corp.microsoft.com> | 2011-04-05 17:03:28 -0700 |
| commit | 343f29bee9cad726c2de33d4ef6cdb49caa965d2 (patch) | |
| tree | bc40127c4275c0a91c42620f5b4a6d96b5f61871 /Test/smoke/runtest.bat | |
| parent | 2b09756f836307f75a36c5a982784dc620fda657 (diff) | |
Dafny: Allow field selections and array-element selection as LHSs of assignments where RHS is not just an expression
Diffstat (limited to 'Test/smoke/runtest.bat')
0 files changed, 0 insertions, 0 deletions