Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore running context of processes for system state comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 5 Mar 2013 17:05:54 +0000 (18:05 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:54 +0000 (18:30 +0100)
commit4e44b79c5c7acf75b2793fdd7ca7e604baf5da74
tree4b89ef7825395a72149020e5cdf6cc7adf5f1d17
parent1d3411a600fb19bb3049999c2a494a49bd23ca63
model-checker : ignore running context of processes for system state comparison
src/simix/smx_process.c