diff options
| author |  Bryan Parno <parno@microsoft.com> | 2014-12-16 18:00:24 -0800 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2014-12-16 18:00:24 -0800 |
| commit | 04d57c313ae3df30cb8a0c383ef0ae4ceee361ac (patch) | |
| tree | 429c0533a3d3e3903ebef127c464b6e6ed786810 /Source/DafnyDriver | |
| parent | 53d80ae6818f9fede9acd1eaac42f8129709d412 (diff) | |
When in DafnyCC mode, ignore termination checking
Diffstat (limited to 'Source/DafnyDriver')
0 files changed, 0 insertions, 0 deletions