From 4783ab108498d3b2c244466b3e6028691c3f4d0f Mon Sep 17 00:00:00 2001
From: Vlad Badoiu <vlad_andrei.badoiu@upb.ro>
Date: Sun, 22 Oct 2023 19:53:41 +0300
Subject: [PATCH] Update the checker
---
checker.py | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/checker.py b/checker.py
index 2c19ed9..a69dbe6 100755
--- a/checker.py
+++ b/checker.py
@@ -64,8 +64,8 @@ def run_tests(machine, args, tests=TESTS):
else:
critteria = [CRITTERIA_DICT[c] for c in args.validation_type]
- total = 10
- total_max_score = 10 + 45 * len(critteria)
+ total = 0
+ total_max_score = 100
os.makedirs(LOGDIR, exist_ok=True)
@@ -79,12 +79,12 @@ def run_tests(machine, args, tests=TESTS):
try:
cscore = run_test(machine, args, test, critteria, dbglog)
print("PASS" if 2 * cscore == len(critteria) else "FAIL")
- cscore *= 4.5
+ cscore *= 5
total += cscore
except tm.StepLimitExceeded:
print("SLE")
- print(f"Total: {total}/{total_max_score}")
+ print(f"Total:{int(total)}/{total_max_score}")
def parse_machine(path):
@@ -135,7 +135,7 @@ def main():
path = args.tm
machine = parse_machine(path)
- if os.path.exists("README") and not args.validation_type:
+ if os.path.exists("README"):
with open("README", "r") as fin:
first = fin.readline().strip("\n")
--
GitLab