Property-Based Testing of OCaml 5's Runtime System [pdf]

(janmidtgaard.dk)

43 points | by todsacerdoti 2 days ago ago

1 comments

  • sadiq a day ago

    It's worth looking at Jan's trophy cabinet at the bottom of 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.