Hi Vincent, I think the 3.7 release is getting close. I'm not fully done with the changes I would like to have in the reports, but these improvements can be brought in future releases.
Yet we have to write the documentation and the NEWS entry for -Wcounterexamples. Would you like to do that? If you do, please note that there is a References section in the documentation. Cheers!
