Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Server side symbol evaluation
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Feb 2015 13:37:10 +0000 (14:37 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Feb 2015 14:43:27 +0000 (15:43 +0100)
commit38d1cfd08cf30b0da496b20dfa8b849cbfdb7ab4
tree069a1581f761f2f56964976b432f03f28e7cd7f2
parent1a6e40bce6e758aa2e7afffbfd3c6b63063f1472
[mc] Server side symbol evaluation

This is currently only handled for symbols represented as variables
(opposed to symbols represented as callbacks): in order to evaluate
the callback we will have to ask the MCed to evaluate the callback for
us and send us the result back.
include/simgrid/modelchecker.h
include/xbt/automaton.h
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_protocol.h
src/mc/mc_server.cpp
src/xbt/automaton/automaton.c