You've already forked libadalang
mirror of
https://github.com/AdaCore/libadalang.git
synced 2026-02-12 12:28:54 -08:00
16295cef2c
Some tests mean to trigger a parsing error in Ada sources. For them, disable the printing of parsing errors in the inline playground to avoid polluting baselines.
31 lines
1.0 KiB
Python
31 lines
1.0 KiB
Python
import os
|
|
|
|
from e3.testsuite.driver.classic import TestAbortWithError
|
|
|
|
from drivers.base_driver import BaseDriver
|
|
from drivers.python_driver import PythonRunner
|
|
|
|
|
|
class InlinePlaygroundDriver(BaseDriver):
|
|
|
|
def run(self):
|
|
py_runner = PythonRunner(self)
|
|
py_file = os.path.join(py_runner.support_dir, 'inline_playground.py')
|
|
|
|
charset = self.test_env.get('charset', None)
|
|
project_file = self.test_env.get('project_file', None)
|
|
if 'input_sources' not in self.test_env:
|
|
raise TestAbortWithError(
|
|
'Missing "input_sources" key in test.yaml'
|
|
)
|
|
input_sources = self.test_env['input_sources']
|
|
|
|
args = ["-k"] + list(input_sources)
|
|
if charset:
|
|
args.insert(0, '--charset={}'.format(charset))
|
|
if project_file:
|
|
args.insert(0, '-P{}'.format(project_file))
|
|
if self.test_env.get('ignore_parsing_errors', False):
|
|
args.insert(0, '--ignore-parsing-errors')
|
|
py_runner.run(py_file, args)
|