gnattest: Missing test stub generation for private subprograms

AdaCore / libadalang-tools

Libadalang-based tools

GNU General Public License v3.0

16 stars 13 forks source link

gnattest: Missing test stub generation for private subprograms #16

Open Kensan opened 3 years ago

Kensan commented 3 years ago

In contrast to the ASIS-based gnattest tool, this gnattest implementation does no longer generate test cases/stubs for subprograms that are declared in the private part of a spec.