diff options
| author | jvoisin | 2017-12-01 14:28:35 +0100 |
|---|---|---|
| committer | jvoisin | 2017-12-01 16:30:01 +0100 |
| commit | c041a7ab3b6daa75edf9e7fa07acc1422af41d44 (patch) | |
| tree | 18355763f3b8dc79af373278ad43b3f28a935651 /src/tests/config | |
| parent | 7e14f65a8f5c791ac59b2121c3ff7a028f30d562 (diff) | |
Run valgrind in the testsuite
- Install only what's necessary for different matrices
- Run valgrind only in one of the matrices
Diffstat (limited to 'src/tests/config')
0 files changed, 0 insertions, 0 deletions