Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a27b7cd) | patch
model-checker : use xbt_cfg_setdefault instead of default_value in surf_config (incor...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 20 Nov 2012 17:13:42 +0000 (18:13 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 20 Nov 2012 17:13:42 +0000 (18:13 +0100)
commitb95fe69db779388252bffaa53909bd1bf106139d
tree8c0b91c74c25b90b026305b148b44cbdce73f36ftree | snapshot
parenta27b7cd435294d62935a32330fa83608aa4974d9commit | diff
model-checker : use xbt_cfg_setdefault instead of default_value in surf_config (incorrect display with --help)
src/surf/surf_config.c diff | blob | history
Clone of SimGrid repository with local patches