search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

MainSolver: Apply clang format #677

Closed blishko closed 3 months ago

blishko commented 8 months ago

Seems like there is a difference in the behaviour of my clang-format (v17) and the one in our Ubuntu CI worker (v13).