return code updates

nuprl · Dec 20, 2023 · f4ef7e4 · f4ef7e4
1 parent 5d84a9d
commit f4ef7e4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/evaluation/src/eval_coq.py b/evaluation/src/eval_coq.py
@@ -24,9 +24,9 @@ def eval_script(path: Path):
 
         elif "Unable to unify" in outmessage:
             status = "AssertionError"
-            returncode = -1
         else:
             status = "SyntaxError"
+        returncode = output.returncode
 
     except subprocess.TimeoutExpired as exc:
         status = "Timeout"

diff --git a/evaluation/src/eval_lean.py b/evaluation/src/eval_lean.py
@@ -9,15 +9,13 @@ def eval_script(path: Path):
         output = subprocess.run(["lean", str(path)], capture_output=True, timeout=5)
         outmessage = str(output)
 
-        if "error: tactic 'rfl' failed" in outmessage:
+        if "error: tactic 'rfl' failed" in outmessage: # :skull:
             status = "AssertionError"
-            returncode = -1
         elif outmessage == "":
             status = "OK"
-            returncode = 0
         else:
             status = "SyntaxError"
-            returncode = -1
+        returncode = output.returncode
 
     except subprocess.TimeoutExpired as exc:
         status = "Timeout"