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

BSD-2-clause

Used by 8 other packages

23 Jan 2025