aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2022-07-04 11:09:06 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2022-07-04 11:09:06 +0200
commit59b96bb1f82b6cf83e004488267e5576dbcfad4b (patch)
tree9da5064e0cbd30c7a8188d065b725305cf7f56d9 /frontends/verific
parentc39bade1a75efd166e3db1d4c30ca1dbf8d39e1b (diff)
downloadyosys-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.cc1
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");