Learn
Packages
Community
Blog
Playground
Search OCaml packages
max) { row = max } }" @keyup.up="if (row !== null) { row -=1; if (row < 0) { row = null } }" @keyup.right="if (col < 1) col++" @keyup.left="if (col >= 1) col--" :aria-activedescendant="row !== null ? 'package-autocomplete-'+row+'-'+col : null" hx-get="/packages/autocomplete" hx-params="q" hx-trigger="keyup changed, search" hx-target="#header-search-results" hx-indicator="#header-search-indicator" autocomplete="off" >
Searching...
Or go to:
Standard Library API
Get Started
Search OCaml packages
Learn
Packages
Community
Blog
Playground
Get started
Search OCaml packages
1 search result for "tag:"non-determinism""
qcheck-multicoretests-util
Documentation
Various utility functions for property-based testing of multicore programs
test
property
qcheck
quickcheck
multicore
non-determinism
Jan Midtgaard
Olivier Nicole
Nicolas Osborne
Samuel Hym
0.1.1
BSD-2-clause
Used by 2 other packages
09 Feb 2023