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 | |
parent | e6aad7427332f955386099f3b4326caa1aab90dc (diff) |
Add a DafnyCC option that disables some of Dafny's cleverness to better match DafnyCC's capabilities
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions