diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-07-31 13:30:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-31 13:30:52 +0200 |
| commit | acd8bc0a7496c69864a7dd032eb7f4db7e2e1f2d (patch) | |
| tree | 2c46c9aa421b765ab4ae9d93e1121d481297fa48 /frontends | |
| parent | b4f38cca77a78884ce215190935af78cae92c4db (diff) | |
| parent | 5be5bd0fb61a9c8d1efa7e8c233ea0100cc32641 (diff) | |
| download | yosys-acd8bc0a7496c69864a7dd032eb7f4db7e2e1f2d.tar.gz yosys-acd8bc0a7496c69864a7dd032eb7f4db7e2e1f2d.tar.bz2 yosys-acd8bc0a7496c69864a7dd032eb7f4db7e2e1f2d.zip | |
Merge pull request #1233 from YosysHQ/clifford/defer
Call "read_verilog" with -defer from "read"
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 2bf99e58e..06d58a44a 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2484,7 +2484,7 @@ struct ReadPass : public Pass { args[0] = "verific"; } else { args[0] = "read_verilog"; - args.erase(args.begin()+1, args.begin()+2); + args[1] = "-defer"; } Pass::call(design, args); return; @@ -2498,6 +2498,7 @@ struct ReadPass : public Pass { if (args[1] == "-formal") args.insert(args.begin()+1, std::string()); args[1] = "-sv"; + args.insert(args.begin()+1, "-defer"); } Pass::call(design, args); return; |