Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Change the handling of SIMIX requests in model checker too.
authorArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Sun, 8 May 2011 08:10:46 +0000 (10:10 +0200)
committerArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Mon, 9 May 2011 07:46:48 +0000 (09:46 +0200)
commit627ead2c22ce3a0522bdfca1eb58123df7bc8413
tree00226afb17cd4bf996576025d95b07d5d88fc9a6
parentc7a83e46e3dc4c00cac01c7a13e3cd779db5745a
Change the handling of SIMIX requests in model checker too.
src/mc/mc_global.c