diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-29 09:46:05 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-08-03 13:36:08 +0100 |
| commit | b0fe76437c5bdc3270604b9b8a70dbe067f45c64 (patch) | |
| tree | 730a37be191331c842feeaba63b4811c310b5d65 /lib | |
| parent | c2d13a541c1f0168198b897b605d529edc7e5dee (diff) | |
| download | klee-b0fe76437c5bdc3270604b9b8a70dbe067f45c64.tar.gz | |
[clang-format]Allow longer codelines in test/
Code files in `test/` might contain comment lines that are longer as they contain `// RUN` commands. clang-formatting breaks the tests. Stop clang-formatting from doing that.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions