From 9a298b456f3340a62dc26dd6e15c7d086af2c077 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laurent=20Th=C3=A9venoux?= Date: Wed, 17 Jan 2024 15:57:43 +0100 Subject: [PATCH] Name resolution driver: add support for nameres RTS switch --- testsuite/drivers/name_resolution_driver.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/testsuite/drivers/name_resolution_driver.py b/testsuite/drivers/name_resolution_driver.py index de74d8815..3077450d2 100644 --- a/testsuite/drivers/name_resolution_driver.py +++ b/testsuite/drivers/name_resolution_driver.py @@ -52,6 +52,9 @@ class NameResolutionDriver(BaseDriver): * ``traverse_generics``: Boolean (false by default): whether to pass the ``--traverse-generics`` switch to ``nameres``. + + * ``runtime_name``: Name of the runtime to use when loading the project + (``--RTS`` nameres switch). """ perf_supported = True @@ -140,6 +143,10 @@ def run(self): if self.test_env.get("traverse_generics"): args.append("--traverse-generics") + runtime_name = self.test_env.get("runtime_name") + if runtime_name: + args.append(f"--RTS={runtime_name}") + # Add optional explicit list of sources to process args += input_sources