mirror of
https://github.com/YosysHQ/yosys
synced 2026-02-26 10:05:40 +00:00
bbdfcfdf30
Fixes a bug in the handling of the recently introduced $check cells. Both $check and $print cells in clk2fflogic are handled by the same code and the existing tests for that were only using $print cells. This missed a bug where the additional A signal of $check cells that is not present on $print cells was dropped due to a typo, rendering $check cells non-functional. Also updates the tests to explicitly cover both cell types such that they would have detected the now fixed bug. |
||
|---|---|---|
| .. | ||
| assertpmux.cc | ||
| async2sync.cc | ||
| clk2fflogic.cc | ||
| cutpoint.cc | ||
| eval.cc | ||
| example.v | ||
| example.ys | ||
| expose.cc | ||
| fmcombine.cc | ||
| fminit.cc | ||
| formalff.cc | ||
| freduce.cc | ||
| Makefile.inc | ||
| miter.cc | ||
| mutate.cc | ||
| qbfsat.cc | ||
| qbfsat.h | ||
| recover_names.cc | ||
| sat.cc | ||
| sim.cc | ||
| supercover.cc | ||
| synthprop.cc | ||