Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model checker : dfs algorithm corrected
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 19 May 2011 15:41:45 +0000 (17:41 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:56 +0000 (13:36 +0200)
commitcd794f9367d030c421a5bcbd9e9ceba8a232e4ce
treeb329699a505b7a74a98ee306689af7cfd524a27a
parentdf842dc41ca05e49bc585f7732df1849de91cac8
model checker : dfs algorithm corrected
examples/msg/mc/example_automaton.c
examples/msg/mc/example_automaton.h
examples/msg/mc/result_parse
examples/msg/mc/result_parse2 [new file with mode: 0644]
src/mc/mc_dfs.c
src/mc/mc_global.c