Add a `.clang-format` file and a CI job to enforce the code style
lzaoral opened this issue · comments
Lukáš Zaoral commented
This was brought up in #81 (comment).
Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
lzaoral opened this issue · comments
This was brought up in #81 (comment).