Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d11fe85) | patch
model-checker : update tesh examples with last modifications made on information...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 18 Jun 2012 16:06:57 +0000 (18:06 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 18 Jun 2012 16:07:19 +0000 (18:07 +0200)
commitb5dde4ae780c2be8eb29f1b34feacde6d71ccd60
tree81f84f0bea343b1d4f3f251de6e447c6ea97b3b6tree | snapshot
parentd11fe858c6f9521aca252c720720a19efa4a8945commit | diff
model-checker : update tesh examples with last modifications made on information displayed at the end of model checking (state space statistic removed)
examples/msg/mc/bugged1.tesh diff | blob | history
examples/msg/mc/bugged2.tesh diff | blob | history
Clone of SimGrid repository with local patches