Add testcases
authorEddie Hung <eddie@fpgeh.com>
Tue, 7 Jan 2020 19:44:20 +0000 (11:44 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 7 Jan 2020 19:44:20 +0000 (11:44 -0800)
commit0d3f10d3cc55e83ae6a39881227feb843769d6b1
treea3e2faac02ce41602329e3e83a2b813da87b427f
parent7c878bf39741ca8889425932063918d837b8ac9b
Add testcases
tests/aiger/symbols.aag [new file with mode: 0644]
tests/aiger/symbols.aig [new file with mode: 0644]