Andry Ogorodnik 3c5018677b Support gprbuild's configuration file ...

`gprConfigurationFile` configuration option can be used to set
configuration file name that will be passed to GPR2

For eng/ide/gnatstudio#453

2024-12-16 08:34:54 +00:00

..

__init__.py

Print helpful GDB command to debug a test

2024-11-29 08:29:29 +00:00

basic.py

Fix testsuite.py --debug

2024-11-28 16:13:45 +00:00

convert_test.sh

S404-051 Find all refs: test support of multi-language

2019-04-11 08:02:34 -04:00

gnatcov.py

Add Cobertura Ada coverage report

2024-10-10 11:32:43 +00:00

lsp_ada_requests.py

Address flake8 issues

2024-12-05 11:06:52 +00:00

lsp_python_driver.py

Address lint issues in changed Python files

2024-11-29 08:29:29 +00:00

lsp_types.py

Address lint issues in changed Python files

2024-11-29 08:29:29 +00:00

pylsp-runner.py

Avoid the duplicate loading of pylsp.py

2024-11-29 08:29:29 +00:00

pylsp.py

Support gprbuild's configuration file

2024-12-16 08:34:54 +00:00

python_driver.py

Address lint issues in changed Python files

2024-11-29 08:29:29 +00:00

shell.py

Improve settings test to check a wider scope of consistency

2024-12-05 11:06:52 +00:00