Add doc for "test_autotb -seed" option

diff --git a/passes/tests/test_autotb.cc b/passes/tests/test_autotb.cc
index bfb1d66423654f7173c653d294a12411f187b5f6..7eee6a5685176c6f018b667628f1231cb6180b04 100644 (file)
--- 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
        {