diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-04-14 16:42:24 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-05 17:02:03 +0100 |
| commit | a1665020e9ab501eedc7b5b77f9f0fe0ccc69317 (patch) | |
| tree | 81f7073ad3cf82f69f1d58965019fe1716c39874 /runtime | |
| parent | caeafa442bb89994e550414670375878f4e50f79 (diff) | |
| download | klee-a1665020e9ab501eedc7b5b77f9f0fe0ccc69317.tar.gz | |
.clang-format: c++17
From the `clang-format` documentation: - "`Cpp11` is a deprecated alias for `Latest`" - `Latest`: "Parse and format using the latest supported language version."
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions