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
114 stars 43 forks source link

Ci fix #310

Closed yoni206 closed 2 years ago

yoni206 commented 2 years ago

Attempting a fix suggested by @makaimann (thanks Makai!). Let's see if CI passes now.

yoni206 commented 2 years ago

Does not seem to work: https://github.com/stanford-centaur/smt-switch/actions/runs/3327034293/jobs/5501375039

lonsing commented 2 years ago

Hi @yoni206 and @makaimann, there was a failure in the Pono CI flow on macOS which seems to be similar. I am not sure whether the fix applied to Pono would also be applicable to smt-switch, but maybe it's worth trying: https://github.com/upscale-project/pono/pull/302

yoni206 commented 2 years ago

Thanks Florian! I've tried adding these 04e7864 but now for some reason the CI claims to have no jobs to run.

image
yoni206 commented 2 years ago

Closing as @makaimann 's PR #312 is better.