Add aiger tests to make tests
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Feb 2019 23:25:47 +0000 (15:25 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Feb 2019 23:25:47 +0000 (15:25 -0800)
commitd365682a21147b6a06d9548a6f4b99d347931441
tree20a661fb90b6d235214ee6c3f2a84a97e38c4194
parent78873d5bbb3fe13d7d43c162d7c5e6d73cdd7d33
Add aiger tests to make tests
Makefile