From 07e38d8d5c9d270404f68072b905b1dd43ced24b Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Fri, 26 Jul 2019 12:37:30 -0700 Subject: [PATCH] Update test_autotb doc to reflect default value of zero --- passes/tests/test_autotb.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 \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 args, RTLIL::Design *design) YS_OVERRIDE -- 2.30.2