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 | |
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.
-rw-r--r-- | test/.clang-format | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/.clang-format b/test/.clang-format new file mode 100644 index 00000000..4799b66f --- /dev/null +++ b/test/.clang-format @@ -0,0 +1,2 @@ +BasedOnStyle: LLVM +ColumnLimit: 0 |