phasar
phasar copied to clipboard
Update Code Formatter
PhASAR currently relies on clang-format-14 to format its code.
Since we updated our LLVM version to 15, we should also update the formatter