search

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
37 stars 10 forks source link

Display the name of the tested module in the test run #162

Closed shym closed 10 months ago

shym commented 10 months ago

Also drop the explicit sequential, so that users only have to change STM_sequential into STM_domain if they want to test their module in a parallel setting

This makes the display of dune build @launchtests a bit more useful.