search

AdaCore / libadalang-tools

Libadalang-based tools
GNU General Public License v3.0
16 stars 13 forks source link

Gnattest integration with Gnatstudio #31

Open patroclo77 opened 6 months ago

patroclo77 commented 6 months ago

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.