search

stanford-centaur / pono

Pono: A flexible and extensible SMT-based model checker
Other
68 stars 31 forks source link

Update smt-switch to July 18 version #336

Closed CyanoKobalamyne closed 2 months ago

CyanoKobalamyne commented 2 months ago

Fixes linking errors regarding fat libraries (containing both arm64 and x86_64 symbols) on macOS.