[m-dev.] skipped predicates

[Erwan Jahier]

Fergus Henderson wrote:
> It sounds a bit like you are trying to reinvent the `--trace interfaces'
> option.

Zoltan Somogyi wrote:
> It is not missing, we just implemented it a different way; via --trace
> interface previously, and --trace shallow in the latest diff.

Yes, you are rigth. I have misunderstood what --trace-interface was
doing.

Still, both methods does not have exactly the same behavior; with my
method, a skipped procedure do not generate any event, even if it is
calling a deep level procedure (I don't know which method is better in
this respect).

Another difference is that with my method, you don't need to recompile
the modules you want to "shallowly" trace (like the library modules for
example). 
But it is certainly a minor issue.

-- 
R1.