search

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

"Exclude below" symbol selection #21

Open HadrienG2 opened 6 years ago

HadrienG2 commented 6 years ago

Some functions are called from many different program contexts. This is for example the case with linear algebra libraries or transcendental functions, but can be generalized to any utility library.

In that situation, being able to enable/disable a given symbol, or even a source line within the function, is often too coarse to be useful. What would be needed is a way to say "exclude this function and any other code that it calls". A different way to phrase this would be "disable verrou instrumentation until the active function call returns".

This functionality would require verrou to have some form of call graph sensitivity, and therefore can be considered related to / a prerequisite of #15 .

lathuili commented 6 years ago

To apply the delta debug on the wall call site path (CSP) is in your 2019 roadmap. One objective of the new output format of rddmin (branch struct_rddmin) is to be able to treat more complex delta, as CSP.