Closed ffevotte closed 3 years ago
The option --check-cancellation=yes now produces a valgrind error for each cancellation. The option _--cc-gen-file=_FILENAME produces a file called FILENAME with the list of code lines generating cancellation.
You can configure the level of cancellation with the options _--cc_thresholddouble= and _--cc_thresholdfloat= .
It would be useful to (re)introduce in Verrou a feature allowing to detect and locate large cancellations.