search

Certora / gambit

Using mutations to improve specs and test suites
MIT License
165 stars 8 forks source link

Request: Provide platform dependent binaries as well for macOS #29

Open sambacha opened 1 year ago

sambacha commented 1 year ago

You can not create a universal binary without having both x86 and aarch64, so why not also include those build outputs as well as the universal as an option?

Cheers