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.
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.