Add a couple more tests
[yosys.git] / tests / sat / splice.ys
2014-02-07 Clifford WolfAdded splice command