diff options
| author | Jim Lawson <ucbjrl@berkeley.edu> | 2019-03-01 10:31:26 -0800 |
|---|---|---|
| committer | Jim Lawson <ucbjrl@berkeley.edu> | 2019-03-01 10:31:26 -0800 |
| commit | 4cce7f6967313772207448569635e6e5c6bc44ce (patch) | |
| tree | 8132003faa377602a74f5ac16f9899f9b17eb8c3 /frontends/verific/verific.cc | |
| parent | 81abb2517c3d6e8fd2b31ff6d9d019d956a6bc14 (diff) | |
| parent | 60e3c38054f10251021fa2f504ad2424da33aa1d (diff) | |
| download | yosys-4cce7f6967313772207448569635e6e5c6bc44ce.tar.gz yosys-4cce7f6967313772207448569635e6e5c6bc44ce.tar.bz2 yosys-4cce7f6967313772207448569635e6e5c6bc44ce.zip | |
Merge remote-tracking branch 'upstream/master'
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) |