diff options
| author |  Michael Lowell Roberts <mirobert@microsoft.com> | 2015-09-21 13:51:16 -0700 |
|---|---|---|
| committer | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-09-21 13:51:16 -0700 |
| commit | 045c50afc6261beeb83ab4a2f70e597157c9d796 (patch) | |
| tree | ab54452204bd3c3871cada56d06cc34c4c338d1f /Binaries | |
| parent | 96590cb8329d0c902b06d22b6cbecfdbe68cf654 (diff) | |
merged IronDafny updates. two unit tests related to traits do not pass if ENABLE_IRONDAFNY is defined but this isn't critical and will be addressed shortly.
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions