diff options
| author | Peter Collingbourne <pcc@google.com> | 2014-04-03 23:53:01 -0700 |
|---|---|---|
| committer | Peter Collingbourne <pcc@google.com> | 2014-04-04 11:41:11 -0700 |
| commit | e3b58660760830e774eff283f957ac5abb8a9b47 (patch) | |
| tree | 814de114097bf214bcb9e7683481c9fd2aafd9d2 /examples | |
| parent | b3d9f1469b66e5409b1b6e8cbaca91d16e802761 (diff) | |
| download | klee-e3b58660760830e774eff283f957ac5abb8a9b47.tar.gz | |
Add the ability to control whether the pretty printer uses line breaks
This change makes it possible to more reliably write unit tests which check that an expression is equivalent to an expected pretty printed string.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions