write_btor_s.ys
981 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"