Property-Based Testing of OCaml 5's Runtime System [pdf] janmidtgaard.dk 43 points by todsacerdoti 3 days ago
sadiq 2 days 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.
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.