Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use MC_assert instead of assert for the verification of mpich3 integr...
[simgrid.git] / teshsuite / simix / factory_raw.tesh
1 $ ./simix/check_defaults
2 > [simix_context/VERBOSE] Using raw contexts. Because the glibc is just not good enough for us.