Apocrypha

dscheck

Experimental model checker for testing concurrent algorithms

This library provides an experimental model checker for testing concurrent programs. DSCheck explores interleavings of a user-provided program and helps ensure that its invariants are maintained regardless of scheduling decisions.

homepage ↗ github: ocaml-multicore/dscheck

Available in

OverlayNewestEbuildsLast activity
nest GitHub ↗ 0.5.0 2 14 d details ›

Versions & arches

VersionOverlay amd64x86 Committed
9999 LIVE ≈ nest follows upstream — no keywords 2 mo view · download · history ↗
0.5.0 ≈ nest amd64 testing x86 testing 2 mo view · download · history ↗

Use flags of 0.5.0

  • +ocamlopt Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
  • test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)