You've already forked ada_language_server
mirror of
https://github.com/AdaCore/ada_language_server.git
synced 2026-02-12 12:45:50 -08:00
9904d58e27
e3-testsuite-driver relies on rlimit to implement timeouts, and this does not seem to work on GitHub Action machines. Deactivate this timeout, and rely instead on the fine-grained timeout mechanism implemented by the test runner.
65 lines
1.7 KiB
Python
65 lines
1.7 KiB
Python
import glob
|
|
import os
|
|
|
|
from e3.testsuite.result import TestStatus
|
|
|
|
from drivers import ALSTestDriver
|
|
|
|
|
|
class JsonTestDriver(ALSTestDriver):
|
|
""" Each test should have:
|
|
- a test.yaml containing
|
|
title: '<test name>'
|
|
|
|
- a number of test drivers, in .json files.
|
|
"""
|
|
|
|
def run(self, previous_values, slot):
|
|
# Check whether the test should be skipped
|
|
if self.should_skip():
|
|
return False
|
|
|
|
# The working directory
|
|
wd = self.test_env["working_dir"]
|
|
|
|
output = ""
|
|
|
|
status = TestStatus.PASS
|
|
|
|
for json in glob.glob(os.path.join(wd, "*.json")):
|
|
process = self.run_and_log(
|
|
[self.env.tester_run, json],
|
|
cwd=wd,
|
|
env={
|
|
"ALS": self.env.als,
|
|
"ALS_HOME": self.env.als_home,
|
|
"ALS_WAIT_FACTOR": str(self.env.wait_factor),
|
|
},
|
|
ignore_environ=False,
|
|
)
|
|
output += process.out
|
|
|
|
if process.status:
|
|
# Nonzero status?
|
|
if process.status == 100:
|
|
# This one is an xfail
|
|
status = TestStatus.XFAIL
|
|
break
|
|
else:
|
|
# Unknown status!
|
|
status = TestStatus.ERROR
|
|
break
|
|
else:
|
|
# Status is 0...
|
|
if output:
|
|
# ... and there is an output: that's a FAIL
|
|
status = TestStatus.FAIL
|
|
break
|
|
|
|
self.result.set_status(status)
|
|
if output:
|
|
# If there's an output, capture it
|
|
self.result.out = output
|
|
|
|
self.push_result()
|