diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-07-04 11:09:06 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-07-04 11:09:06 +0200 |
| commit | 59b96bb1f82b6cf83e004488267e5576dbcfad4b (patch) | |
| tree | 9da5064e0cbd30c7a8188d065b725305cf7f56d9 /frontends/verific | |
| parent | c39bade1a75efd166e3db1d4c30ca1dbf8d39e1b (diff) | |
| download | yosys-59b96bb1f82b6cf83e004488267e5576dbcfad4b.tar.gz yosys-59b96bb1f82b6cf83e004488267e5576dbcfad4b.tar.bz2 yosys-59b96bb1f82b6cf83e004488267e5576dbcfad4b.zip | |
Upadte documentation and changelog
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verific.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 8ecf54472..fd6208e86 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2496,6 +2496,7 @@ struct VerificPass : public Pass { log("\n"); log(" -v, -vv\n"); log(" Verbose log messages. (-vv is even more verbose than -v.)\n"); + log("\n"); log(" -pp <filename>\n"); log(" Pretty print design after elaboration to specified file.\n"); log("\n"); |