Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make SIMIX_simcall_name() use the type of observer_ if it exists.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 22 Apr 2021 20:45:52 +0000 (22:45 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 23 Apr 2021 07:54:40 +0000 (09:54 +0200)
commitddb45d457a6e56461f506cba0add22902ef2c7d7
tree73628369eb2dd323fb74e1fdcea13e81575f1a25
parent05abbd149db422fcdedc5ed8ef2a928b7d068f23
Make SIMIX_simcall_name() use the type of observer_ if it exists.

It gives more information about the kind of simcall being involved,
since most simcalls are nowadays of type RUN_KERNEL or RUN_BLOCKING.
src/kernel/actor/ActorImpl.cpp
src/mc/api.cpp
src/mc/checker/SafetyChecker.cpp
src/simix/libsmx.cpp
src/simix/popping_bodies.cpp
src/simix/popping_generated.cpp
src/simix/popping_private.hpp
src/simix/simcalls.py
src/simix/smx_global.cpp