 Nathalie Furmento
|
340d322899
update copyright holders
|
%!s(int64=5) %!d(string=hai) anos |
 Samuel Thibault
|
6b16457d10
Fix multiple readonly segments on Buster and such
|
%!s(int64=6) %!d(string=hai) anos |
|
Samuel Thibault
|
38524cb0ca
use S4U functions in mc tests
|
%!s(int64=6) %!d(string=hai) anos |
|
Samuel Thibault
|
96c1322d4f
Allow to set CFLAGS/LDFLAGS to point to MC version of simgrid
|
%!s(int64=6) %!d(string=hai) anos |
|
Samuel Thibault
|
b050e3b665
clean prio_list2 too
|
%!s(int64=8) %!d(string=hai) anos |
|
Samuel Thibault
|
0c4fcd28fc
Add barrier modelchecker test
|
%!s(int64=8) %!d(string=hai) anos |
|
Samuel Thibault
|
00042d3039
Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib
|
%!s(int64=8) %!d(string=hai) anos |
|
Samuel Thibault
|
bf08b7ae24
document how to play with model checker
|
%!s(int64=8) %!d(string=hai) anos |
|
Samuel Thibault
|
580d61dae1
don't enable state reduction by default, it's too costly
|
%!s(int64=8) %!d(string=hai) anos |
|
Samuel Thibault
|
5339d76f3a
Prevent random number generation from diverging, by making threads always get the same values
|
%!s(int64=8) %!d(string=hai) anos |
|
Nathalie Furmento
|
1f5c14e5e2
tests/model-checking: add copyright and fix coding style
|
%!s(int64=8) %!d(string=hai) anos |
|
Samuel Thibault
|
e235fcbe82
Add options for reduction, and add clean target
|
%!s(int64=8) %!d(string=hai) anos |
|
Samuel Thibault
|
c07d49339e
Fix running prio_list
|
%!s(int64=8) %!d(string=hai) anos |
|
Samuel Thibault
|
f93028199e
Add a simgrid model-checking trivial test for now
|
%!s(int64=8) %!d(string=hai) anos |
