diff options
| author |  wuestholz <unknown> | 2013-06-13 10:12:20 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-13 10:12:20 -0700 |
| commit | 00430d7e712b797a5f1391a385ad9d5af3083037 (patch) | |
| tree | c77e1e6b796cd28fd6678c3f7344c9ffee1fde87 /Test | |
| parent | 0a3b095205a91b480a0b89c404981c498f088747 (diff) | |
DafnyExtension: Disabled the default console printer for Boogie.
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions