AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

author	Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
	Mon, 31 Mar 2014 11:49:36 +0000 (13:49 +0200)
committer	Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
	Mon, 31 Mar 2014 14:23:08 +0000 (16:23 +0200)
commit	5f3a8203f2bb7acac3657b1b7e2986562f99e4c3
tree	cd1702559ea222aaf90cbd414a9338593d10c461	tree \| snapshot
parent	2425b6210c2056be0c3a7bef9390b251c3c5af32	commit \| diff

[mc] Reduce stack_size for tests mc-bugged*.

Default stack size was recently increased from 128KiB to 8MiB,
which is a bit too much on small machines (e.g. on CI).

Reduce it to 256KiB (2 times the old size) for tests mc-bugged*.

examples/msg/mc/bugged1.tesh		diff \| blob \| history
examples/msg/mc/bugged1_liveness.tesh		diff \| blob \| history
examples/msg/mc/bugged1_liveness_visited.tesh		diff \| blob \| history
examples/msg/mc/bugged2.tesh		diff \| blob \| history

Clone of SimGrid repository with local patches

RSS Atom