main.py: Assume that if a process died because of SIGALM it's a timeout

davidot · linusg · commit c70232119d6a · 2022-09-11T20:25:19.000+01:00
diff --git a/main.py b/main.py
@@ -220,9 +220,13 @@ def add_result(
                     + process_result.stderr
                 )
 
+            probable_result = TestResult.PROCESS_ERROR
+            if process_result.returncode == -signal.SIGALRM:
+                probable_result = TestResult.TIMEOUT_ERROR
+
             add_result(
                 new_results,
-                TestResult.PROCESS_ERROR,
+                probable_result,
                 "\n".join(test_results),
                 process_result.returncode,
             )

Original file line number	Diff line number	Diff line change
`@@ -220,9 +220,13 @@ def add_result(`
`220`	`220`	`+ process_result.stderr`
`221`	`221`	`)`
`222`	`222`
	`223`	`+ probable_result = TestResult.PROCESS_ERROR`
	`224`	`+ if process_result.returncode == -signal.SIGALRM:`
	`225`	`+ probable_result = TestResult.TIMEOUT_ERROR`
	`226`	`+`
`223`	`227`	`add_result(`
`224`	`228`	`new_results,`
`225`		`- TestResult.PROCESS_ERROR,`
	`229`	`+ probable_result,`
`226`	`230`	`"\n".join(test_results),`
`227`	`231`	`process_result.returncode,`
`228`	`232`	`)`