equiv_opt with -assert
authorEddie Hung <eddie@fpgeh.com>
Tue, 1 Oct 2019 02:54:59 +0000 (19:54 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 1 Oct 2019 02:54:59 +0000 (19:54 -0700)
commit1caaf5149258ff84ac2a6532c26e9ffb076183a9
tree59c25bda0fc04943d5671280d9dc66c2b2ef4b24
parentf8d5e11aa7285fc92832b87063d530afe27eca28
equiv_opt with -assert
tests/ecp5/fsm.ys