mirror of https://github.com/YosysHQ/yosys.git
Update test_autotb doc to reflect default value of zero
This commit is contained in:
parent
8cecad5059
commit
07e38d8d5c
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue