https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88102

--- Comment #2 from emsr at gcc dot gnu.org ---
The Wiki I noted was a 3rd party one.
This is the wiki connected to the repo:

https://gitlab.com/lock3/gcc-new/wikis/contract-assertions

Reply via email to