Handle latch symbols too
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 16:05:27 +0000 (08:05 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 16:05:27 +0000 (08:05 -0800)
commit02f603ac1a43f3f98048c146b1950c776f73c070
tree6c6377bca7582d1cfead0237f79aff36c8d1ba20
parent5a593ff41c44329e9a103d8c9f7a7351b1848043
Handle latch symbols too
frontends/aiger/aigerparse.cc