@@ -80,7 +80,7 @@ def run_file(files, parameters, expected, mode):
kill(proc2)
print("Compilation timeout expired!")
return False
- if proc2.returncode != 7:
+ if proc2.returncode not in [7, 56]:
break
# Make sure everything stopped correctly