Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add function call and full location in checker-side transitions
authormlaurent <mathieu.laurent@ens-rennes.fr>
Tue, 13 Jun 2023 09:17:03 +0000 (11:17 +0200)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Tue, 13 Jun 2023 09:17:03 +0000 (11:17 +0200)
commitc91810ea11e12e016eb88444296bf51d401e6be3
tree7c1aedb77e183d31d4fe5d63426e91bac52dbbad
parent1a42ca3470656e2ff7284e0f03ecaf7512bd1307
Add function call and full location in checker-side transitions
13 files changed:
include/smpi/smpi.h
include/smpi/smpi_extended_traces.h
include/smpi/smpi_extended_traces_fortran.h
include/smpi/smpi_helpers.h
src/instr/instr_smpi.hpp
src/kernel/actor/CommObserver.cpp
src/kernel/actor/CommObserver.hpp
src/mc/transition/Transition.hpp
src/mc/transition/TransitionComm.cpp
src/smpi/internals/smpi_bench.cpp
src/smpi/internals/smpi_replay.cpp
src/smpi/mpi/smpi_request.cpp
tools/smpi/generate_smpi_defines.pl