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.

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

fix grouping for latest doxygen #5626

Merged
merged 1 commit into from
Oct 27, 2021
Merged

fix grouping for latest doxygen #5626

merged 1 commit into from
Oct 27, 2021

Conversation

traud
Copy link
Contributor

@traud traud commented Oct 27, 2021

Since Doxygen 1.8.16, opening and closing a group must not be done as C comment but as Doxygen command. In other words, not one but two asterisk characters are required so that Doxygen finds a group. One grouping was correct, however, that was changed as well for consistency reasons because it did not use /** but ///.

Note: This does not address the huge amount of warnings (~365) while creating the documentation. Actually, it does not remove a single warning because Doxygen simply did not parse those grouping commands anymore.

Tested via:

$ cd doc
$ doxygen z3code.dox

Since doxygen 1.8.16, opening and closing a group must not be done as
C comment but as doxygen command. In other words, not one but two
asterisk characters are required so that doxygen finds a group.
@ghost
Copy link

ghost commented Oct 27, 2021

CLA assistant check
All CLA requirements met.

@traud
Copy link
Contributor Author

traud commented Oct 27, 2021

Any idea why the continuous integration (CI) fails with a missing symbol of Z3_mk_u32string in a shared library? Shall I ignore those two failed checks or do I have to investigate further?

@NikolajBjorner
Copy link
Contributor

ignore these breaks. They have nothing to do with your PR

@NikolajBjorner NikolajBjorner merged commit f5f35f8 into Z3Prover:master Oct 27, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants