diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-06-30 18:35:09 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-06-30 18:35:09 -0700 |
| commit | a4b353ddcdad49e5c3d39fce206addbbbb5fc6ad (patch) | |
| tree | 934d34637423f0dbd1caba90d8a934d53de1dd13 /Source/Dafny/Printer.cs | |
| parent | ed7e8b22003b72f4b3b018cdf72a760994ed6ff7 (diff) | |
SMTLib: Only use (set-logic ...) when requested; quote some more symbols
Diffstat (limited to 'Source/Dafny/Printer.cs')
0 files changed, 0 insertions, 0 deletions