Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix _sg_do_model_check use with model_check=OFF
authorPaul Bédaride <paul.bedaride@gmail.com>
Tue, 18 Dec 2012 09:01:10 +0000 (10:01 +0100)
committerPaul Bédaride <paul.bedaride@gmail.com>
Tue, 18 Dec 2012 09:01:10 +0000 (10:01 +0100)
commit1e896e691f69c6e46566d038d37b4fd7ea18fa3d
tree31805f2688eb1c8004a9f65b591f3ae85d46cf17
parent28700bafbbef119ee34d7632ed7c61749995dc78
Fix _sg_do_model_check use with model_check=OFF
src/mc/mc_global.c
src/simgrid/sg_config.c