diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-08-16 14:22:46 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-08-16 14:22:46 +0200 |
| commit | 40c40d9f5d87e1f88d1dec767173d499a3e3c216 (patch) | |
| tree | beec09b473cc0550396bbfab41f6ed4380ecfb50 /passes/fsm/fsm_opt.cc | |
| parent | bb37a20e8de55c1145af7c611eb657891d8825fb (diff) | |
| download | yosys-40c40d9f5d87e1f88d1dec767173d499a3e3c216.tar.gz yosys-40c40d9f5d87e1f88d1dec767173d499a3e3c216.tar.bz2 yosys-40c40d9f5d87e1f88d1dec767173d499a3e3c216.zip | |
Do not use Verific in tests/various/write_gzip.ys
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes/fsm/fsm_opt.cc')
0 files changed, 0 insertions, 0 deletions