diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-08-29 17:51:30 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-08-29 17:51:30 +0200 |
| commit | 5a365857fb8edb719b687b989351287b0ae09532 (patch) | |
| tree | 82881ad0e7f26a845e2c19aa7f1db5382cf03b41 /CC/test | |
| parent | 764d38fbebe1cb82ff9c309b33478575357e98de (diff) | |
| parent | f41343abe847fa88a4cbb46d856bfc44efa8595a (diff) | |
| download | rules-cc-5a365857fb8edb719b687b989351287b0ae09532.tar.gz | |
Merge branch 'just-rules' into rules
Diffstat (limited to 'CC/test')
| -rwxr-xr-x | CC/test/runner | 12 |
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: |