diff options
| author |  Bryan Parno <parno@microsoft.com> | 2014-10-27 16:15:52 -0700 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2014-10-27 16:15:52 -0700 |
| commit | 23ab50b9c9ae5d9e2030e28259a17bfab33af732 (patch) | |
| tree | d05d303528fb20494d23992de20b129bb4bbc524 /Test/dafny0 | |
| parent | e6aad7427332f955386099f3b4326caa1aab90dc (diff) | |
Add a DafnyCC option that disables some of Dafny's cleverness to better match DafnyCC's capabilities
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions