xaiger: add testcase
authorEddie Hung <eddie@fpgeh.com>
Sun, 24 May 2020 15:48:23 +0000 (08:48 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sun, 24 May 2020 15:48:23 +0000 (08:48 -0700)
commit33b03ce904f6810437e27ca7a6df4fb1e966fc23
treef0e5b382ed2ff318ca6d964c29293eac7c8575c0
parentd64df216302bab5b7c5047bbbcb0e3cd82f1ec2d
xaiger: add testcase
tests/various/xaiger.ys [new file with mode: 0644]