From d8b0d81ef3165325284956456138b529f6e9fae0 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Fri, 19 Aug 2022 12:43:23 +0200
Subject: [PATCH] update ping cmd run config

---
 .run/Ping Command.run.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.run/Ping Command.run.xml b/.run/Ping Command.run.xml
index 7c81b41..d51f8cc 100644
--- a/.run/Ping Command.run.xml	
+++ b/.run/Ping Command.run.xml	
@@ -13,7 +13,7 @@
     <option name="ADD_SOURCE_ROOTS" value="true" />
     <EXTENSION ID="PythonCoverageRunConfigurationExtension" runner="coverage.py" />
     <option name="SCRIPT_NAME" value="$PROJECT_DIR$/tmtcc.py" />
-    <option name="PARAMETERS" value="-s test -o ping -d 3" />
+    <option name="PARAMETERS" value="tmtc -s test -o ping -d 3" />
     <option name="SHOW_COMMAND_LINE" value="false" />
     <option name="EMULATE_TERMINAL" value="false" />
     <option name="MODULE_MODE" value="false" />