Update doc
This commit is contained in:
1 parent
629a3a3dc1
commit
16587aeb93
1 file changed
+2
-2
+2
-2
@@ -5,8 +5,8 @@ How to make a release?
|
||||
Run 'make check' on all primary systems.
|
||||
No error shall be reported.
|
||||
|
||||
2) Check that no memory leak is reported by valgrind:
|
||||
Run 'make valgrind' in tests folder on a system.
|
||||
2) Check that no memory leak is reported:
|
||||
Run 'make sanitize' in tests folder on a system.
|
||||
NOTE: valgrind seems completely lost in all the tests which spawn a lot of threads.
|
||||
|
||||
3) Check that no undefined behavior, nor data race, ... is reported by sanitizer:
|
||||
|
||||
Reference in new issue
Block a user