-
Mikaël Salson authored
Executing valgrind can take more time, thus we need to increase the default timeout to make sure the program has time to properly execute.
eff75d82
Executing valgrind can take more time, thus we need to increase the default timeout to make sure the program has time to properly execute.