Refactor to parse_aiger_header()
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 18:54:31 +0000 (10:54 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 18:54:31 +0000 (10:54 -0800)
commit09d758f0a31e3b4290bfcd3d9864733e84c83628
tree4a8312b7beebb02eda075bdc17040e0f9e952260
parent36c56bf4127edc1ed0f8fbbd62bd70a859263570
Refactor to parse_aiger_header()
frontends/aiger/aigerparse.cc