write_btor_v.ys
982 Bytes
-
Add new tests to backends and architecture; · 10f53cb1Add new tests to backends and architecture; Merge commit "Add regression test for Yosys PR 896"
SergeyDegtyar committed
Add new tests to backends and architecture; Merge commit "Add regression test for Yosys PR 896"