Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3996e1) | patch
MSG_config mc-related stuff is not enough to activate model-checking, the --cfg is...
authorMartin Quinson <martin.quinson@loria.fr>
Fri, 22 Jun 2012 09:50:59 +0000 (11:50 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Fri, 22 Jun 2012 09:51:10 +0000 (11:51 +0200)
commit276959541aeb592113d450d79cf6eb3a39066dfe
tree588c117c5319c5ff47f75fe511e7a6315b4a5889tree | snapshot
parenta3996e17ef48f52770490734e92ba9bd4109ef83commit | diff
MSG_config mc-related stuff is not enough to activate model-checking, the --cfg is mandated (or MC initialization will occure to late). Warn users accordingly
src/mc/mc_global.c diff | blob | history
src/surf/surf_config.c diff | blob | history
Clone of SimGrid repository with local patches