Add a equiv test too
authorEddie Hung <eddie@fpgeh.com>
Wed, 20 Nov 2019 01:05:14 +0000 (17:05 -0800)
committerEddie Hung <eddie@fpgeh.com>
Wed, 20 Nov 2019 01:05:14 +0000 (17:05 -0800)
commit1cc106452fb25d082ca9491c24df97cc51d4b992
tree5d63c1c18872bf65aad6bb5bfb7fcb5670d7c313
parent90c5ca330c5e6c8eb45ad0b755b0049a34dc7534
Add a equiv test too
tests/various/abc9.v
tests/various/abc9.ys