No increment line_count for binary ANDs
authorEddie Hung <eddieh@ece.ubc.ca>
Mon, 11 Feb 2019 21:24:21 +0000 (13:24 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Mon, 11 Feb 2019 21:24:21 +0000 (13:24 -0800)
commit727ba52504c65be1fcda9b03f6c2e1498e10061d
tree9186b629257b774439e4ac0e0ca65d9bfadecbb3
parentbb4164481d8b6eeec6bbc6f5b36f1286ada51eb5
No increment line_count for binary ANDs
frontends/aiger/aigerparse.cc