Samuel Thibault b5d53106f7 Fix build with old simgrids лет назад: 8
..
Makefile bf08b7ae24 document how to play with model checker лет назад: 8
platform.xml f93028199e Add a simgrid model-checking trivial test for now лет назад: 8
prio_list.c b5d53106f7 Fix build with old simgrids лет назад: 8
prio_list.sh.in d8991796b2 Run model checking during make check лет назад: 8