usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

CircleCI: used latest Ubuntu for clang-format #744

Closed Tomaqa closed 3 months ago

Tomaqa commented 3 months ago

There is a bug in older versions of clang-format. Using the latest Ubuntu image fixes the problem.