Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix lua platform script
[simgrid.git] / src / mc / README
1 This file lists the issues to solve to achieve a the full integration of the MC branch:
2 - Model-checker entry point: 
3   Up to now, the main function of each user API has to be modified to call MC_modelcheck instead of SIMIX_solve. 
4   It would be nice to have a command line option like --model-check to determine the right behaviour.
5
6 - Memory managment routines:
7   Because mc_memory.c redefines malloc, calloc, realloc and free, now even the simulator is going to use
8   the mmalloc library. This is no good because it is far slower than GNU's malloc, so some black magic should be
9   used to link against one library or the other depending on the mode choosed by the user.