edf-hpc / verrou

floating-point errors checker
https://edf-hpc.github.io/verrou/vr-manual.html
GNU General Public License v2.0
49 stars 13 forks source link

Broken feature: VERROU_[START/STOP]_INSTRUMENTATION #12

Closed ffevotte closed 6 years ago

ffevotte commented 6 years ago

It looks like the instrumented sections feature is broken: all operations seem to be perturbed regardless of --instr-atstart=no or VERROU_STOP_INSTRUMENTATION. However, instructions counter seem to display consistent values at the end of an execution.