Multicoretests - Parallel Testing Libraries for OCaml 5.0

Jan Midtgaard (Tarides) Olivier Nicole (Tarides) Nicolas Osborne (Tarides)

Parallel and concurrent code is notoriously hard to test because of the involved non-determinism, yet it is facing OCaml programmers with the coming OCaml 5.0 multicore release. We present two related testing libraries to improve upon the situation: - Lin – a library to test for linearizability - STM – a state-machine testing library Both libraries build on QCheck, a black-box, property-based testing library in the style of QuickCheck. The two libraries represent different trade-offs between required user effort and provided guarantees and thereby supplement each other.