Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 778e540) | patch
Bugfix: manually increase the time when running the model-checkers on sleep calls.
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 20 Jan 2011 15:44:45 +0000 (15:44 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 20 Jan 2011 15:44:45 +0000 (15:44 +0000)
commitd2bb33858171f062e6bd6abd3d6982d37cd51de9
treeabeaff9b3d7995ec203427d89c60083a625f5640tree | snapshot
parent778e54082c6ed8bf33208953e33c4c905b56333ecommit | diff
Bugfix: manually increase the time when running the model-checkers on sleep calls.
This is a horrible hack.

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