SkillAgentSearch skills...

Multicoretests

PBT testsuite and libraries for testing multicore OCaml

Install / Use

/learn @ocaml-multicore/Multicoretests
About this skill

Quality Score

0/100

Supported Platforms

Universal

README

Multicore tests

OPAM installation

Linux 5.4.0+trunk macOS-Intel 5.4.0+trunk macOS-ARM64 5.4.0+trunk Linux 5.4.0+trunk-bytecode Linux 5.4.0+trunk-debug Linux 5.4.0+trunk-musl Linux 32-bit 5.4.0+trunk Linux FP 5.4.0+trunk Linux ARM64 5.4.0+trunk MinGW 5.4.0+trunk MinGW 5.4.0+trunk-bytecode Cygwin 5.4.0+trunk MSVC 5.4.0+trunk MSVC 5.4.0+trunk-bytecode

Linux 5.5.0+trunk macOS-Intel 5.5.0+trunk macOS-ARM64 5.5.0+trunk Linux 5.5.0+trunk-bytecode Linux 5.5.0+trunk-debug Linux 5.5.0+trunk-musl Linux 32-bit 5.5.0+trunk Linux FP 5.5.0+trunk Linux ARM64 5.5.0+trunk MinGW 5.5.0+trunk MinGW 5.5.0+trunk-bytecode Cygwin 5.5.0+trunk MSVC 5.5.0+trunk MSVC 5.5.0+trunk-bytecode

Linux 5.6.0+trunk macOS-Intel 5.6.0+trunk macOS-ARM64 5.6.0+trunk Linux 5.6.0+trunk-bytecode Linux 5.6.0+trunk-debug Linux 5.6.0+trunk-musl Linux 32-bit 5.6.0+trunk Linux FP 5.6.0+trunk Linux ARM64 5.6.0+trunk MinGW 5.6.0+trunk MinGW 5.6.0+trunk-bytecode Cygwin 5.6.0+trunk MSVC 5.6.0+trunk MSVC 5.6.0+trunk-bytecode

Property-based tests of the OCaml multicore compiler and run time.

This project contains

  • a randomized test suite of OCaml 5.x, packaged up in multicoretests.opam
  • two reusable testing libraries:
    • Lin packaged up in qcheck-lin.opam and
    • STM packaged up in qcheck-stm.opam

All of the above build on [Q

Related Skills

View on GitHub
GitHub Stars45
CategoryDevelopment
Updated1d ago
Forks15

Languages

OCaml

Security Score

95/100

Audited on Apr 5, 2026

No findings