Skip to content

Add sanity checks for z3, yosys, and sby installations#36

Merged
fabianschuiki merged 1 commit intotrunkfrom fschuiki/add-sanity-checksJan 16, 2025

Commits

Commits on Jan 16, 2025