diff options
| author | whitequark <whitequark@whitequark.org> | 2019-05-13 16:55:15 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2019-05-14 10:48:06 +0000 |
| commit | c8c1df23a0ddf85b6d5a822299634b42b82a6e15 (patch) | |
| tree | a029d989eaf26ceb170af8aeae0f64e1140f0488 /passes/cmds/cover.cc | |
| parent | 5772732a6d24bbf1a46301f03623567079316f7a (diff) | |
| download | yosys-c8c1df23a0ddf85b6d5a822299634b42b82a6e15.tar.gz yosys-c8c1df23a0ddf85b6d5a822299634b42b82a6e15.tar.bz2 yosys-c8c1df23a0ddf85b6d5a822299634b42b82a6e15.zip | |
bugpoint: check for -script option.
Fixes #925.
Diffstat (limited to 'passes/cmds/cover.cc')
0 files changed, 0 insertions, 0 deletions