tests: Test for invalid x-value FF init optimizations - Githubissues

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Other

388 stars 73 forks source link

tests: Test for invalid x-value FF init optimizations #186

Closed jix closed 2 years ago

jix commented 2 years ago

Currently failing, needs a yosys fix.