mirror of
https://github.com/YosysHQ/yosys
synced 2026-02-25 09:41:21 +00:00
1070f2e90b
Problems/questions: - fsm.ys. equiv_opt -assert failed because of unproven cells; - latches.ys,tribuf.ys - internal cells present; - memory.ys - sat called with -verify and proof did fail.
3 lines
27 B
Text
3 lines
27 B
Text
/*.log
|
|
/*.out
|
|
/run-test.mk
|