Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ec8e9d) | patch
model-checker : create dot_output file after MC_do_the_modelcheck_for_real and write...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 2 Apr 2013 08:09:29 +0000 (10:09 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 2 Apr 2013 08:09:29 +0000 (10:09 +0200)
commit0e92f3b321f3111021d88213cac11a5e1a48cd08
tree3104d751756e2e231b732198786a1b20432a6d81tree | snapshot
parent6ec8e9d992b54560a1873c1d19f397b5b5d6a219commit | diff
model-checker : create dot_output file after MC_do_the_modelcheck_for_real and write only if not NULL
src/mc/mc_dpor.c diff | blob | history
src/mc/mc_global.c diff | blob | history
Clone of SimGrid repository with local patches