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 7eee6a5685176c6f018b667628f1231cb6180b04..7f11e54f3008166d9da6dc8f461cd00695f7d0b3 100644 (file)
--- 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