Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix previous commit
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 26 Feb 2016 11:36:50 +0000 (12:36 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 26 Feb 2016 11:36:50 +0000 (12:36 +0100)
commit28f07de780131679dffc1443e213ae7a549bd601
treebc47151510461ce62d2895406cfcf8591b2a63d9
parent9f9eb7fc2dcaeb4e7bdf6b0aaf76fe713e370746
[mc] Fix previous commit

It was completely broken :/
include/xbt/system_error.hpp
src/mc/ModelChecker.cpp
src/mc/simgrid_mc.cpp