Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8496661) | patch
Bugfix: Do not copy the communication data in the model-checker's main loop, it is...
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 May 2010 09:05:21 +0000 (09:05 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Mon, 17 May 2010 09:05:21 +0000 (09:05 +0000)
commit7eef6ff4f8ba36e883886a74151b8edef45189e2
treefa6962e18a0f6fbfc7498afdbc35edd914b1086btree | snapshot
parent8496661293114d866119c9f0e2a96124e8632bdacommit | diff
Bugfix: Do not copy the communication data in the model-checker's main loop, it is already done by the communication API.

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