Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore process_to_run and process_that_ran included in simix_global...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 09:49:27 +0000 (11:49 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 13:21:20 +0000 (15:21 +0200)
commitc7fd4ab992d70d90280677f65c8d35b0826422cc
tree4a3af60295ddc97db3c2aab012452f082fb4fdef
parentd969dee04ed9f3f9b8a116a7bcce2597ec0e09f6
model-checker : ignore process_to_run and process_that_ran included in simix_global for system state comparison
src/mc/mc_liveness.c