diff options
| author | Alasdair Armstrong | 2018-12-12 19:11:22 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-12-12 19:11:22 +0000 |
| commit | aa6a4d4630e05e50782ec6880ada116ac4fbe795 (patch) | |
| tree | 5504857b3c281fc83befb6320d100aca993dcd80 /src/finite_map.ml | |
| parent | 6a40f1a1fca791c141c9c4e71dbb1876812666a6 (diff) | |
Add parallelism limit to C and builtins test
Spawning a process for every test and running every test in parallel
is quite RAM intensive (up to about 8gb) especially when running
valgrind on every test in parallel. Now we only run up to TEST_PAR
tests in parallel (default 4).
Diffstat (limited to 'src/finite_map.ml')
0 files changed, 0 insertions, 0 deletions