read_xaiger() to use f.read() not readsome()
authorEddie Hung <eddieh@ece.ubc.ca>
Sat, 16 Feb 2019 16:58:25 +0000 (08:58 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Sat, 16 Feb 2019 16:58:25 +0000 (08:58 -0800)
commit8f36013fac34e7cf7b79456f7f8bec8ad6292c99
tree77a9c552f26218523cbc81aa62a513435bb21955
parentd4545d415bf02f098607ef70f0e84fe5685a4139
read_xaiger() to use f.read() not readsome()
frontends/aiger/aigerparse.cc