Gnattest integration with Gnatstudio

[patroclo77]

Hi,
I have been battling with alire and libadalang-tools to integrate gnattest and gnatstudio. Most importantly I aim to use and become familiar with gnattest.

So, just a couple of questions:

1. How can I integrate libadalang-tools with gnatstudio? Currently gnatstudio invocation to gnattest goes through a python call which I have no idea how it relates.

2. There used to be some examples for gnattest i.e., Section 2.5 at https://docs.adacore.com/live/wave/gnatcoverage/html/gnatcov_ug/gnattest/gnattest_part.html
   Where are they now and how can I access them?

Thanks a lot in advance.
P.