Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
useless global variable, hindering MC equality
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 21 Apr 2016 15:33:21 +0000 (17:33 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Thu, 21 Apr 2016 16:11:48 +0000 (18:11 +0200)
commitd2cd6190c7a6ba8f102134cf6ab3043f7df8f77e
tree1a75867c7e26fa174743de749e364244415a62ae
parent8840f8ed2dc9084b3c7a041105ffa8d633178b5a
useless global variable, hindering MC equality
examples/msg/dht-chord/dht-chord.c
examples/msg/dht-chord/dht-chord.tesh
examples/msg/dht-kademlia/dht-kademlia.c
examples/msg/dht-kademlia/dht-kademlia.tesh
examples/msg/dht-pastry/dht-pastry.c
examples/msg/dht-pastry/dht-pastry.tesh
src/mc/ModelChecker.cpp
src/simix/smx_network.cpp