Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7178757) | patch
Add assertions to use with the model-checker
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 20 Jan 2011 15:45:59 +0000 (15:45 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 20 Jan 2011 15:45:59 +0000 (15:45 +0000)
commit76cf83f4634017a34173bbceb819b99d77ac7ba7
tree14c2c7ea76a967895b498dbcff88b391255c18a1tree | snapshot
parent717875729557ca0e76702af5be742600842664a3commit | diff
Add assertions to use with the model-checker

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9465 48e7efb5-ca39-0410-a469-dd3cf9ba447f
examples/msg/chord/chord.c diff | blob | history
Clone of SimGrid repository with local patches