diff options
| author | Peter Collingbourne <pcc@google.com> | 2014-03-09 01:15:38 -0800 |
|---|---|---|
| committer | Peter Collingbourne <pcc@google.com> | 2014-03-09 01:22:43 -0800 |
| commit | 2ea7722ac9b43857358dc12493d7bd9de16e313b (patch) | |
| tree | 8f11080c24b78167e6ebcb24dd662e019b450614 /test | |
| parent | 2f9c04b09ac8dd81c85f46d3fd89903aafed7370 (diff) | |
| download | klee-2ea7722ac9b43857358dc12493d7bd9de16e313b.tar.gz | |
Use clang-format to reformat SMT-LIB printer in LLVM style.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions