fail svinterfaces testcases on yosys error exit
[yosys.git] / tests / sat / splice.ys
2014-02-07 Clifford WolfAdded splice command