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 | 77891f7dbad2c05aaffc54b4f1e26c060480201c (patch) | |
| tree | edc92ea6208ccba0879da56a66b775722e7ce350 /rules/CC/test | |
| parent | 39e9a2d9f0f370b744f74b14223b29e783f30ce7 (diff) | |
| parent | 5a365857fb8edb719b687b989351287b0ae09532 (diff) | |
| download | rules-cc-77891f7dbad2c05aaffc54b4f1e26c060480201c.tar.gz | |
Merge subtree 'rules' into rules-cc
Diffstat (limited to 'rules/CC/test')
| -rwxr-xr-x | rules/CC/test/runner | 12 |
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: |