Merge pull request #1143 from YosysHQ/clifford/fix1135
[yosys.git] / tests / sat / splice.v
2014-02-07 Clifford WolfAdded splice command