From 0f66138ef41a14f60aed5655a808d7c66084a6c4 Mon Sep 17 00:00:00 2001 From: David Tardon Date: Wed, 5 Apr 2017 17:56:39 +0200 Subject: [PATCH] fix param name (#516) --- infra/helper.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infra/helper.py b/infra/helper.py index 1d34bfd80..6e1d61464 100755 --- a/infra/helper.py +++ b/infra/helper.py @@ -334,7 +334,7 @@ def coverage(args): docker_run(run_args) -def reproduce(run_args): +def reproduce(args): """Reproduces a testcase in the container.""" if not _check_project_exists(args.project_name): return 1