After the changes in #103 we are now able to run the tests in parallel and use /dev/shm automatically when available. However, tests leave some garbage after them and it accumulates and fills up /dev/shm. Add cleanup code to remove the created directory on successful runs.
While at it, ask ctest to randomise test scheduling in order to increase the likelihood of surfacing bugs.
After the changes in #103 we are now able to run the tests in parallel and use
/dev/shmautomatically when available. However, tests leave some garbage after them and it accumulates and fills up/dev/shm. Add cleanup code to remove the created directory on successful runs.While at it, ask
ctestto randomise test scheduling in order to increase the likelihood of surfacing bugs.