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 think the ifor in this doc string:
ifor
ikos/analyzer/python/ikos/report.py
Line 1065 in 8608a78
is just meant to be for.
for
The text was updated successfully, but these errors were encountered:
I would normally just classify these as bugs, but we can also classify it as a documentation-related issue.
Sorry, something went wrong.
[analyzer] Fix typo in doc string (NASA-SW-VnV#227).
3af361a
Fix typo: ifor should be for.
da4a4bf
ivanperez-keera
No branches or pull requests
I think the
ifor
in this doc string:ikos/analyzer/python/ikos/report.py
Line 1065 in 8608a78
is just meant to be
for
.The text was updated successfully, but these errors were encountered: