1 files changed, 6 insertions, 6 deletions
diff --git a/CC/test/runner b/CC/test/runner
index 0647621..fc1f04c 100755
--- a/CC/test/runner
+++ b/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: