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

Consider capping verrou_dd's delta list length #14

Closed HadrienG2 closed 5 years ago

HadrienG2 commented 6 years ago

A debug build of a C++ program can use thousands of symbols. In this scenario, verrou_dd's helpful printout of the list of deltas can become a nuisance, as it heavily clobbers the TTY and makes it hard to locate previous messages.

Since said messages become especially important in the new rddmin operating mode, I would propose the following:

lathuili commented 6 years ago

The no-empty env variable VERROU_DD_QUIET reduces the output (not yet stabilized branch struct_rddmin)

HadrienG2 commented 6 years ago

Another thing which helped here is the recent idea of only displaying symbols that feature FP instructions. In debug builds, I went from ~10k symbols to ~200, which is much more tractable already.