Add extra "setundef -anyseq" to aiger script
authorClifford Wolf <clifford@clifford.at>
Fri, 22 Mar 2019 12:40:50 +0000 (13:40 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 22 Mar 2019 12:40:50 +0000 (13:40 +0100)
commitf918e2369a6c9f67ef86ce063d677d778aef5c30
tree09e2d40134714419bbb60bc9b0984f768735682a
parent32d73254464bee3c10496c115f7237df8c64cab4
Add extra "setundef -anyseq" to aiger script

Signed-off-by: Clifford Wolf <clifford@clifford.at>
sbysrc/sby_core.py