diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-29 19:39:12 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-29 19:39:12 -0700 |
| commit | 1123c09588a6dd3964605de229c6bc4ac158b50e (patch) | |
| tree | 6f6b950cfc30c4db0963a90fe065964489fa292b /passes/tests/test_autotb.cc | |
| parent | 18ebb86edbade4a94833dead59d69fddd980f5bd (diff) | |
| parent | d5f0794a531b36976d2c4d181b1c3921b801bbfa (diff) | |
| download | yosys-1123c09588a6dd3964605de229c6bc4ac158b50e.tar.gz yosys-1123c09588a6dd3964605de229c6bc4ac158b50e.tar.bz2 yosys-1123c09588a6dd3964605de229c6bc4ac158b50e.zip | |
Merge remote-tracking branch 'origin/master' into xaig_dff
Diffstat (limited to 'passes/tests/test_autotb.cc')
| -rw-r--r-- | passes/tests/test_autotb.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/passes/tests/test_autotb.cc b/passes/tests/test_autotb.cc index a5ac3130f..2b6a86c25 100644 --- a/passes/tests/test_autotb.cc +++ b/passes/tests/test_autotb.cc @@ -351,6 +351,11 @@ 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 = 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 { |