From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 26 Jul 2019 19:37:30 +0000 (-0700)
Subject: Update test_autotb doc to reflect default value of zero
X-Git-Tag: working-ls180~1039^2~292
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=07e38d8d5c9d270404f68072b905b1dd43ced24b;p=yosys.git

Update test_autotb doc to reflect default value of zero
---

diff --git a/passes/tests/test_autotb.cc b/passes/tests/test_autotb.cc
index 7eee6a568..7f11e54f3 100644
--- a/passes/tests/test_autotb.cc
+++ b/passes/tests/test_autotb.cc
@@ -349,7 +349,9 @@ struct TestAutotbBackend : public Backend {
 		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("        seed used for pseudo-random number generation (default = 0).\n");
+		log("        a value of 0 will cause an arbitrary seed to be chosen, based on\n");
+		log("        the current system time.\n");
 		log("\n");
 	}
 	void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE