blifwriter: write out .names for true/false/undef type == '-'
authoreddiehung <e.hung@imperial.ac.uk>
Tue, 28 Apr 2015 07:55:26 +0000 (08:55 +0100)
committereddiehung <e.hung@imperial.ac.uk>
Tue, 28 Apr 2015 07:55:26 +0000 (08:55 +0100)
commit058deb777e72458fa018e21eaf0322ca75b86fd7
tree2ece8aed6604fe14134bb881ca5fbd4bfa8505e2
parentc3c9fbfb8c6782bcf39ed307325d3c83a3e69e7e
blifwriter: write out .names for true/false/undef type == '-'
backends/blif/blif.cc