diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-02-28 20:34:42 -0800 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-02-28 20:34:42 -0800 |
| commit | 60e3c38054f10251021fa2f504ad2424da33aa1d (patch) | |
| tree | 8132003faa377602a74f5ac16f9899f9b17eb8c3 /frontends/verific/verific.cc | |
| parent | a82a7eb42e4d7059ff6efa89b1013134015e118a (diff) | |
| download | yosys-60e3c38054f10251021fa2f504ad2424da33aa1d.tar.gz yosys-60e3c38054f10251021fa2f504ad2424da33aa1d.tar.bz2 yosys-60e3c38054f10251021fa2f504ad2424da33aa1d.zip | |
Improve "read" error msg
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/verific.cc')
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 8ee951d20..9f52ffdc2 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2316,7 +2316,7 @@ struct ReadPass : public Pass { } void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE { - if (args.size() < 2) + if (args.size() < 2 || args[1][0] != '-') log_cmd_error("Missing mode parameter.\n"); if (args.size() < 3) |