YosysHQ / scy

Sequence of Covers with Yosys
Other
5 stars 1 forks source link

Merge branch krys/tidy into main #5

Closed KrystalDelusion closed 1 year ago

KrystalDelusion commented 1 year ago

Fixed errors in SCY when using verific for code parsing. Some of the tests expected specific cycle counts from the solver which aren't guaranteed to always be the same. These have been downgraded to skip instead of fail and can safely be ignored.

@mmicko when I was testing this in the tabby cad suite I had some issues with included versions of pip and pytest being out of date, is it possible to update those?