"Exclude below" symbol selection

[HadrienG2]

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]

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.