diff options
Diffstat (limited to 'tests/test_rules/test_runner.py')
-rwxr-xr-x | tests/test_rules/test_runner.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tests/test_rules/test_runner.py b/tests/test_rules/test_runner.py index 976f041..6fd2d8c 100755 --- a/tests/test_rules/test_runner.py +++ b/tests/test_rules/test_runner.py @@ -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: |