diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-26 12:57:16 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-26 12:59:56 +0100 |
| commit | bed8d4a027c635a146911a2ce973046f02a8e719 (patch) | |
| tree | 7a9727ea29cbcfebe8786db31ee499e0620e044d /Test/smoke | |
| parent | 9af64efeb4a057f853bb08cfc0fa8cbdc4a166b2 (diff) | |
Try to fix the emission of invalid SMT-LIBv2 queries when Boogie has a
variable that begins with a ``.``. This was't an issue for Z3 which
ignores this but CVC4 is stricter and will emit an error
Diffstat (limited to 'Test/smoke')
0 files changed, 0 insertions, 0 deletions