Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-check : show stack when property not valid
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 4 May 2011 14:26:47 +0000 (16:26 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:55 +0000 (13:36 +0200)
commitdf842dc41ca05e49bc585f7732df1849de91cac8
treec9f1165564ea224951296817e39688dd114bd779
parentb9890631bde077fb24ee6c401bba8cded1559ae5
model-check : show stack when property not valid
examples/msg/mc/example_automaton.c
include/mc/modelchecker.h
src/include/mc/mc.h
src/mc/mc_dfs.c
src/mc/mc_global.c
src/mc/private.h