 Samuel Thibault
|
580d61dae1
don't enable state reduction by default, it's too costly
|
vor 9 Jahren |
|
Samuel Thibault
|
5339d76f3a
Prevent random number generation from diverging, by making threads always get the same values
|
vor 9 Jahren |
 Nathalie Furmento
|
1f5c14e5e2
tests/model-checking: add copyright and fix coding style
|
vor 9 Jahren |
|
Samuel Thibault
|
e235fcbe82
Add options for reduction, and add clean target
|
vor 9 Jahren |
|
Samuel Thibault
|
c07d49339e
Fix running prio_list
|
vor 9 Jahren |
|
Samuel Thibault
|
f93028199e
Add a simgrid model-checking trivial test for now
|
vor 9 Jahren |
