Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

gnattest: Missing test stub generation for private subprograms #16

Open
Kensan opened this issue May 31, 2021 · 0 comments · May be fixed by #18
Open

gnattest: Missing test stub generation for private subprograms #16

Kensan opened this issue May 31, 2021 · 0 comments · May be fixed by #18

Comments

@Kensan
Copy link

Kensan commented May 31, 2021

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.
reet- added a commit to codelabs-ch/libadalang-tools that referenced this issue Jun 14, 2021
@reet-
Do not exclude private subprograms from skeleton
17ce258 
Closes AdaCore#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.
@reet- reet- linked a pull request Jun 14, 2021 that will close this issue
Open
@setton setton reopened this Feb 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Do not exclude private subprograms from skeleton codelabs-ch/libadalang-tools
2 participants
@setton @Kensan