Merge remote-tracking branch 'origin/dff_init' into read_aiger
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 22:42:08 +0000 (14:42 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 22:42:08 +0000 (14:42 -0800)

Trivial merge