3 ms·
Property-Based Testing of OCaml 5's Runtime System [pdf]
- sadiq 1y agoIt's worth looking at Jan's trophy cabinet at the bottom of https://github.com/ocaml-multicore/multicoretests/ https://github.com/ocaml-multicore/multicoretests/ His work has uncovered a number of really tricky bugs in the multicore runtime but what's brilliant is the reports normally come with a minimal reproduction. This makes working out the cause so much easier. Great work Jan.