Do not ignore newline after AND in binary AIG
authorEddie Hung <eddieh@ece.ubc.ca>
Mon, 11 Feb 2019 19:51:44 +0000 (11:51 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Mon, 11 Feb 2019 19:51:44 +0000 (11:51 -0800)
commitbb4164481d8b6eeec6bbc6f5b36f1286ada51eb5
tree0ad84f8e9762748e3ab20ab5dbc9c39d4cc77e77
parentfb6df09dd210faddf1d238d2605e645bdbda9723
Do not ignore newline after AND in binary AIG
frontends/aiger/aigerparse.cc