From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 26 Jul 2019 19:26:54 +0000 (-0700)
Subject: Add doc for "test_autotb -seed" option
X-Git-Tag: working-ls180~1039^2~293
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8cecad5059b7ce6e1db1597020794c8e8aad3e49;p=yosys.git

Add doc for "test_autotb -seed" option
---

diff --git a/passes/tests/test_autotb.cc b/passes/tests/test_autotb.cc
index bfb1d6642..7eee6a568 100644
--- a/passes/tests/test_autotb.cc
+++ b/passes/tests/test_autotb.cc
@@ -348,6 +348,9 @@ struct TestAutotbBackend : public Backend {
 		log("    -n <int>\n");
 		log("        number of iterations the test bench should run (default = 1000)\n");
 		log("\n");
+		log("    -seed <int>\n");
+		log("        seed used for pseudo-random number generation (default = time)\n");
+		log("\n");
 	}
 	void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
 	{