Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 585c035) | patch
model-checker : add example (electric_fence) to check the soundness of the verificati...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 27 Mar 2013 12:17:43 +0000 (13:17 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 27 Mar 2013 12:22:32 +0000 (13:22 +0100)
commit727c068cd59669e79c6779f9ff93ec4ac91f7522
tree852d3064a45e0479b6bd733a671b430089fe89b6tree | snapshot
parent585c03575926272c32a21202ef0552589aafaa51commit | diff
model-checker : add example (electric_fence) to check the soundness of the verification with DPOR and delete another one (random_test)
examples/msg/mc/CMakeLists.txt diff | blob | history
examples/msg/mc/deploy_electric_fence.xml [moved from examples/msg/mc/deploy_random_test.xml with 71% similarity] diff | blob | history
examples/msg/mc/electric_fence.c [new file with mode: 0644] blob
examples/msg/mc/random_test.c [deleted file] blob | history
Clone of SimGrid repository with local patches