- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A testing library based on QCheck to test interface behaviour under parallel usage. Lin will generate and run random parallel tests and check the observed behaviour for sequential consistency, that is, whether they can be linearized and explained by some sequential interleaving.