search

YosysHQ / imctk

Incremental Model Checking Toolkit
Other
5 stars 2 forks source link

abc-sys: silence warnings #16

Closed aiju closed 1 month ago

aiju commented 1 month ago

Add various -Wno- flags to build.rs to silence needless abc-sys warnings.