We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
I hit the pragma Assert (Counter = 0); in https://github.com/AdaCore/libadalang-tools/blob/263158611cf1b073db6733a9aa247c3a16f086d3/src/utils-drivers.adb#LL128C11-L128C38 when invoking gnattest with one ignore file that contained more than 1 file name (say 5).
pragma Assert (Counter = 0);
gnattest
The issue is that Arg_Length (Cmd, Ignore) only provides the number of ignore files but not the actual number of file names in those ignore files:
Arg_Length (Cmd, Ignore)
ignore
N_File_Names : constant Natural := Num_File_Names (Cmd) - Arg_Length (Cmd, Ignore); Counter : Natural := N_File_Names;
Counter subsequently get's decremented on every non-ignored file. Since Counter = N_File_Names - 1, Counter = 4 when the assertion is hit.
Counter
Counter = N_File_Names - 1
Counter = 4
The text was updated successfully, but these errors were encountered:
Successfully merging a pull request may close this issue.
I hit the
pragma Assert (Counter = 0);in https://github.com/AdaCore/libadalang-tools/blob/263158611cf1b073db6733a9aa247c3a16f086d3/src/utils-drivers.adb#LL128C11-L128C38when invoking
gnattestwith one ignore file that contained more than 1 file name (say 5).The issue is that
Arg_Length (Cmd, Ignore)only provides the number ofignorefiles but not the actual number of file names in those ignore files:Countersubsequently get's decremented on every non-ignored file. SinceCounter = N_File_Names - 1,Counter = 4when the assertion is hit.The text was updated successfully, but these errors were encountered: