GitHub repository: ElectreAAS/multicoretests
Description: PBT testsuite and libraries for testing multicore OCaml