What's Changed

• avoid solver race conditions with a lock by @0xkarmacoma in https://github.com/a16z/halmos/pull/569
• create solver_output in case of errors too by @0xkarmacoma in https://github.com/a16z/halmos/pull/570

Full Changelog: https://github.com/a16z/halmos/compare/v0.3.2...v0.3.3