Filter out verify_timeout in gen_cmd

anand1976 · Oct 15, 2024 · 7d28353 · 7d28353
1 parent 3a0b4ae
commit 7d28353
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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
         ]