 Corentin Salingue
|
d825aa2667
Add macro _STARPU_MALLOC_CAST when checking prio_list
|
8 anni fa |
 Nathalie Furmento
|
741d1e0516
correctly define _GNU_SOURCE
|
8 anni fa |
 Samuel Thibault
|
0c4fcd28fc
Add barrier modelchecker test
|
8 anni fa |
|
Samuel Thibault
|
c1b913a2b2
Try to redruce on the state of an empty list
|
8 anni fa |
|
Samuel Thibault
|
05bfe97196
clearer macro names, add iterations
|
8 anni fa |
|
Samuel Thibault
|
00042d3039
Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib
|
8 anni fa |
|
Samuel Thibault
|
d56020e400
Allow to use several lists to check that the model-checker discovers that's independent
|
8 anni fa |
|
Samuel Thibault
|
b5d53106f7
Fix build with old simgrids
|
8 anni fa |
|
Samuel Thibault
|
e15ca34bbb
Add --enable-simgrid-mc to selectively enable the model checker
|
8 anni fa |
|
Samuel Thibault
|
6383fe8b36
Test a reasonably large case
|
8 anni fa |
|
Samuel Thibault
|
5339d76f3a
Prevent random number generation from diverging, by making threads always get the same values
|
8 anni fa |
|
Nathalie Furmento
|
1f5c14e5e2
tests/model-checking: add copyright and fix coding style
|
8 anni fa |
|
Samuel Thibault
|
9c9b38525a
no need to sleep
|
8 anni fa |
|
Samuel Thibault
|
c07d49339e
Fix running prio_list
|
8 anni fa |
|
Samuel Thibault
|
f93028199e
Add a simgrid model-checking trivial test for now
|
8 anni fa |
