Here’s a blog post about how we have been using property-based testing to test OCaml 5: [image] Under the Hood: Developing Multicore Property-Based Tests for OCaml 5 In 2022, Multicore OCaml became reality. Programming on multiple threads brings new possibilities, but also new complexiti…

I’ve written up part 2 on our effort to utilize property-based testing to stress test the OCaml 5 run time system. Happy Christmas reading! :christmas_tree::santa: :gift: :smile: [image] Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned We summarise the challenge…

[BLOG] Using Property-Based Testing to Test OCaml 5

Learning

jmid December 24, 2024, 8:45am 2

I’ve written up part 2 on our effort to utilize property-based testing to stress test the OCaml 5 run time system. Happy Christmas reading!

Topic		Replies	Views
Multicore OCaml: Dec 2020 / Jan 2021 Community multicore , multicore-monthly	6	3656	February 8, 2021
Multicore OCaml: August 2021 Community multicore , multicore-monthly	4	3037	September 18, 2021
Will OCaml 5+ multicore be fragile? Learning	22	4766	September 2, 2022
Multicore OCaml: October 2020 Community multicore , multicore-monthly	1	7080	November 10, 2020
Multicore OCaml: April 2021 Community multicore , multicore-monthly	0	11030	May 13, 2021

[BLOG] Using Property-Based Testing to Test OCaml 5

Related topics