1 search result for "tag:"non-determinism""

Showing 1 - 1

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.3

BSD-2-clause

Used by 4 other packages

11 Oct 2023