Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
I finally understood what this function is good for
[simgrid.git] / include / mc / modelchecker.h
1 #include "xbt.h"
2
3 XBT_PUBLIC(void) MC_assert(int);
4 XBT_PUBLIC(void) MC_assert_stateful(int);
5 XBT_PUBLIC(int) MC_random(int min, int max);
6 XBT_PUBLIC(void) MC_diff();