search

diffblue / 2ls

Static Analyzer and Verifier
http://www.cprover.org/2LS
Other
44 stars 24 forks source link

Move to clang-format #165

Closed viktormalik closed 2 years ago

viktormalik commented 2 years ago

The existing code formatting scripts (scripts/run_lint and scripts/cpplint.py) seem not to work anymore (never reporting an error).

I'd suggest moving to clang-format, which is, IIUC, what CBMC uses. This will require some changes to the style, e.g. clang-format does not allow to omit spaces around operators. We wouldn't need to update the entire codebase at once, we can just run it on the changed lines in each PR (either by using CBMC's scripts for that or git clang-format).

@peterschrammel WDYT?

peterschrammel commented 2 years ago

Yes, that's a good idea.