Multicoretests

Documentation

This project hosts 4 opam packages:

multicoretests - a property-based test suite of the OCaml multicore runtime system and standard library

• The test suite is described in more detail here

qcheck-lin - a testing library based on QCheck that generates and checks parallel tests for sequential consistency

• 0.10
• 0.9
• 0.8
• 0.7
• 0.5
• 0.4
• 0.3
• 0.2
• 0.1.1
• 0.1
• development

qcheck-stm - a model-based state-machine testing library based on QCheck that can generate both sequential and parallel tests

• 0.10
• 0.9
• 0.8
• 0.7
• 0.5
• 0.4
• 0.3
• 0.2
• 0.1.1
• 0.1
• development

qcheck-multicoretests-util - a small library of utility functions for QCheck-based testing of multicore programs

• 0.10
• 0.9
• 0.8
• 0.7
• 0.5
• 0.4
• 0.3
• 0.2
• 0.1.1
• 0.1
• development