summaryrefslogtreecommitdiff
path: root/rules/CC/test/runner
diff options
context:
space:
mode:
Diffstat (limited to 'rules/CC/test/runner')
-rwxr-xr-xrules/CC/test/runner12
1 files changed, 6 insertions, 6 deletions
diff --git a/rules/CC/test/runner b/rules/CC/test/runner
index 0647621..fc1f04c 100755
--- a/rules/CC/test/runner
+++ b/rules/CC/test/runner
@@ -18,14 +18,14 @@ import os
import subprocess
import time
-time_start = time.time()
-time_stop = 0
-result = "UNKNOWN"
-stderr = ""
-stdout = ""
+time_start: float = time.time()
+time_stop: float = 0
+result: str = "UNKNOWN"
+stderr: str = ""
+stdout: str = ""
-def dump_results():
+def dump_results() -> None:
with open("result", "w") as f:
f.write("%s\n" % (result, ))
with open("time-start", "w") as f: