Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Use a C++ string instead of char* for mailbox name.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 14 Oct 2017 21:24:33 +0000 (23:24 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 14 Oct 2017 21:48:41 +0000 (23:48 +0200)
commit7164761a9bba82982c6fd045bd27ccccc0075b15
tree99df16e042c07c42ad6502e492b6e2d1528fd76f
parent1f41e2c6457817a041bd7aa8996d98370f22566d
Use a C++ string instead of char* for mailbox name.
src/kernel/activity/MailboxImpl.cpp
src/kernel/activity/MailboxImpl.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/s4u/s4u_mailbox.cpp