search

YosysHQ / imctk

Incremental Model Checking Toolkit
Other
5 stars 2 forks source link

minor fixes in inc_refine crate #12

Closed aiju closed 2 months ago

aiju commented 2 months ago

fix a few minor issues in inc_refine