From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 3 Feb 2015 10:26:44 +0000 (+0100)
Subject: [mc] Basic infrastructure for a real model-checker process
X-Git-Tag: v3_12~732^2~138
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3c5b31c9766da42c82473b8c9dbf5910b74f3cb0?ds=inline;hp=3c5b31c9766da42c82473b8c9dbf5910b74f3cb0

[mc] Basic infrastructure for a real model-checker process

The model checker process communicates with the model-checked
application using socket (and wait). Currently it waits for the MCed
process initialisation and fetch its system state, DWARF information,
etc but does not do anything else.

The previous (standalone) mode is currently used by default. The new
behaviour is triggered with the SIMGRID_MC_MODE=server
environment. The idea is to keep the standalone version at least as
long as the new version is not stable/working.
---