mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

bugpoint: check for -script option.

Browse source 
Fixes #925.
This commit is contained in:
whitequark 2019-05-13 16:55:15 +00:00
parent 5772732a6d
commit c8c1df23a0
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
passes/cmds/bugpoint.cc
View file

@ -281,6 +281,9 @@ struct BugpointPass : public Pass {
} }
extra_args(args, argidx, design); extra_args(args, argidx, design);
if (script.empty())
log_cmd_error("Missing -script option.\n");
if (!has_part) if (!has_part)
{ {
modules = true; modules = true;