Improve write_aiger handling of unconnected nets and constants
authorClifford Wolf <clifford@clifford.at>
Sun, 28 May 2017 09:31:35 +0000 (11:31 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 28 May 2017 09:31:35 +0000 (11:31 +0200)
commit9ed4c9d710e8ffc9bc33ecfe8f5650fc45cf5bc2
tree8b08db746d4d997707e52892f663a144a7a7e350
parentd9201b85f3eb955af9168a8c6525415f44f64f05
Improve write_aiger handling of unconnected nets and constants
backends/aiger/aiger.cc
passes/cmds/setundef.cc