Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Register symbols as pointers in the examples
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Feb 2015 11:32:34 +0000 (12:32 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Feb 2015 11:32:34 +0000 (12:32 +0100)
commit1a6e40bce6e758aa2e7afffbfd3c6b63063f1472
tree28e939864a45fc9dfe74a51672e79369f2086e00
parentfb38ec7f242abb0362371bbdd3cb848d3e1d1303
[mc] Register symbols as pointers in the examples
examples/msg/mc/bugged1_liveness.c
examples/msg/mc/bugged2_liveness.c
examples/smpi/mc/bugged1_liveness.c
include/simgrid/modelchecker.h
include/xbt/automaton.h
src/mc/mc_global.c
src/xbt/automaton/automaton.c