Move MSG and SimDag examples out of the sight of users
[#!] #! ./tesh -> #!/usr/bin/env tesh find . \ -type f \ -not -iwholename '*.git*' \ -exec sed -i -e 'sW#!\s*\./teshW#!/usr/bin/env teshWg' {} \;
Use actual names for configuration options (kebab-case + a few renames).
today is doomsday: platform.xml is sacrificed for the greater good
[mc] Increase the timeout of the liveness tests
[mc] Ignore output of bugged1_liveness_visited
[mc] Update tesh files (bugged1_liveness_visited)
desperate attempt : - These tests fail, and it's been like this since a long time, now - I don't want to disable them because they should be fixed, I guess - They crash some test systems in violent ways, by looping and allocating lots of memory. They timeout after a while, but too late on some systems. So this is an attempt to destroy them before they cause any damage, without just disabling the tests.
revalidate tesh files when maestro is given a process name in the logs
[mc] Remove the --cfg=model-check:1 flag It is not useless: model-checking is enabled when we use the simgrid-mc wrapper.
[mc] exit() instead of abort() in normal operation
[mc] Move liveness in MCer process
Merge master into mc-process
model-checker : revalidate tesh
[mc] Basic infrastructure for a real model-checker process The model checker process communicates with the model-checked application using socket (and wait). Currently it waits for the MCed process initialisation and fetch its system state, DWARF information, etc but does not do anything else. The previous (standalone) mode is currently used by default. The new behaviour is triggered with the SIMGRID_MC_MODE=server environment. The idea is to keep the standalone version at least as long as the new version is not stable/working.
[mc] Create a separate simgrid-mc program We create a separate program for the model-checker. The goal is that this program will: - prepare the environment for the child/main process (environment variables, maybe LD_PRELOAD a library, pass file descriptors); - hold all the model-checker state; - communicate with the child process; - handle some part of the snapshoting/restoration logic; - handle the state comparison logic. Currently it only enables the custom heap in the child process.
[mc] Enable the custom mm malloc only in MC We can do better in the future: we can avoid using the main mm malloc in many cases even for MC.
[mc] Fix unit MC tests after platform file move/rename
Revert "Remove XBT_INFO call" This commit changes much much more than wanted. In particular, it reverts several changes done in the tree recently. I assume that the merge that occured just before this commit went awfully wrong, actually. That's ok, shit happens, don't worry. Nevertheless, I revert this commit when it's still possible, before the first unrelated commit on top of it. Pierre, please, pick your changes back from the diff, and resubmit them. This reverts commit f9e6853d2c5b7b867211700bc12f0ee57f640b30.
Remove XBT_INFO call