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

https://janmidtgaard.dk/papers/Midtgaard%3AOLIVIERFEST25.pdf

#HackerNews #PropertyBasedTesting #OCaml5 #RuntimeSystem #SoftwareTesting #FunctionalProgramming

#TIL (besides many other interesting things in the Lazy Evaluation workshop by @kosmikus) that executables of all my #GHC-compiled #Haskell programs accept additional arguments that will affect the #runTimeSystem (#RTS), e.g. for measuring memory consumption and run time. https://downloads.haskell.org/ghc/latest/docs/users_guide/runtime_control.html

#ZuriHac #ZuriHac2023