diff --git a/tools/db_crashtest.py b/tools/db_crashtest.py
index 591a9b3b8da..0cb23382a12 100644
--- a/tools/db_crashtest.py
+++ b/tools/db_crashtest.py
@@ -1049,6 +1049,7 @@ def gen_cmd(params, unknown_params):
                 "cleanup_cmd",
                 "skip_tmpdir_check",
                 "print_stderr_separately",
+                "verify_timeout",
             }
             and v is not None
         ]