AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

author	mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
	Fri, 7 May 2010 09:37:18 +0000 (09:37 +0000)
committer	mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
	Fri, 7 May 2010 09:37:18 +0000 (09:37 +0000)
commit	053352ba13737467be4fc66c9a1c92bd84118bee
tree	89f94db4d0d58c08d50be2fcfbafcf62bf9a0fd3	tree \| snapshot
parent	68b1bce953f555998cd2915660ae51e8666105fc	commit \| diff

new option to any SimGrid-based simulator: --cfg=model-check:1 (for now, that's a perfect way to get a segfault)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7720 48e7efb5-ca39-0410-a469-dd3cf9ba447f

src/include/mc/mc.h		diff \| blob \| history
src/msg/global.c		diff \| blob \| history
src/simix/smx_network.c		diff \| blob \| history
src/surf/surf.c		diff \| blob \| history
src/surf/surf_config.c		diff \| blob \| history
src/xbt/mallocator.c		diff \| blob \| history
src/xbt/xbt_rl_time.c		diff \| blob \| history

Clone of SimGrid repository with local patches

RSS Atom