search

ocaml-multicore / kcas

Software Transactional Memory for OCaml
https://ocaml-multicore.github.io/kcas/
ISC License
109 stars 11 forks source link

Add a QCheck-STM test for Stack #141

Closed polytypic closed 11 months ago

polytypic commented 11 months ago

This PR adds QCheck-STM to the project and a simple test for the Stack.

It would be useful to add similar simple tests for most of the data structures in Kcas_data, but I leave that to subsequent PRs.