Document (* gentb_skip *) attr for test_autotb

diff --git a/passes/tests/test_autotb.cc b/passes/tests/test_autotb.cc
index 7f11e54f3008166d9da6dc8f461cd00695f7d0b3..2b6a86c2508b9fee33cdae086c8d4348566fa11a 100644 (file)
--- a/passes/tests/test_autotb.cc
+++ b/passes/tests/test_autotb.cc
@@ -345,6 +345,9 @@ struct TestAutotbBackend : public Backend {
                log("value after initialization. This can e.g. be used to force a reset signal\n");
                log("low in order to explore more inner states in a state machine.\n");
                log("\n");
+               log("The attribute 'gentb_skip' can be attached to modules to suppress testbench\n");
+               log("generation.\n");
+               log("\n");
                log("    -n <int>\n");
                log("        number of iterations the test bench should run (default = 1000)\n");
                log("\n");