Skip to content

Add trace call for MPI operations for checker side

Mathieu Laurent requested to merge Mwapl/simgrid:master into master

In order to provide smarter guiding strategy for checker exploration, we need information about the source of the call observed in the checker.

Ideally, we need to identify the call (including its file and line location at least). The name of the call can be used to obtained a clearer debug stacktrace of the counter-example for the user.

Merge request reports