log tests/valgrind-checks.py @ 776:48deafc1fd2f

age author description
Thu, 13 Jan 2022 21:43:02 +0100 Franz Glasner With Valgrind: 100000 is way too much: use 10000