diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-06-07 16:16:48 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-06-07 16:16:48 +0000 |
| commit | 0a7dc7687a4989641d8c101ba3b2d4737eaea24f (patch) | |
| tree | e802b4522419f9480ba04c2c5f2e2d9b1f88426e /src/theory/ite_simplifier.h | |
| parent | b3d6d0ccc76e92304fe612b23dc76a7d78061567 (diff) | |
Adding EchoCommand and associated printer and parser rules:
* SMT-LIBv2 parser now supports (echo...).
* Dump() gestures can now dump EchoCommands in CVC and SMT-LIB formats.
This can make it much easier to interpret output.
Diffstat (limited to 'src/theory/ite_simplifier.h')
0 files changed, 0 insertions, 0 deletions