search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
103 stars 40 forks source link

Set errexit bash option to terminate contrib setup scripts on error #343

Closed CyanoKobalamyne closed 7 months ago

CyanoKobalamyne commented 7 months ago

Otherwise they continue even if a compilation step fails.

CyanoKobalamyne commented 7 months ago

It looks like this now causes CI to fail. I filed #344 which hopefully fixes this.