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