Merge branch 'dff_init' into read_aiger
authorEddie Hung <eddieh@ece.ubc.ca>
Sun, 17 Feb 2019 19:49:13 +0000 (11:49 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Sun, 17 Feb 2019 19:49:13 +0000 (11:49 -0800)

Trivial merge