Open reet- opened 3 years ago
Closes #16. This restores the behavior of the ASIS-based gnattest variant. Also, this is very helpful for testing private functionality of a package, without making the actual subprograms public.
All committers have signed the CLA.
Could this be included? We strongly rely on this behavior in the Muen project, and I think it is very useful in general.
Furthermore, this was the behavior in previous (ASIS) gnattest versions.
gnattest
Closes #16. This restores the behavior of the ASIS-based gnattest variant. Also, this is very helpful for testing private functionality of a package, without making the actual subprograms public.