This release brings the possibility of generating QCheck-STM+Domains tests. The main issues were to handle the SUTs created during the run of the generated programs and to adapt the bug report feature to parallel programs. This adds a new ortac_runtime_qcheck_stm_domain library, that is enabled only if ocaml version is at least 5.
Other changes:
- Fix field access in check clauses in wrapper plugin
- Add optional argument to control aliases in dune plugin
- Add a count argument to
ortac qcheck-stmandortac dune qcheck-stm - Update to QCheck 0.90 great renaming
- Allow user to provide weight per command and per program sub-part in
Ortac/QCheck-STM configuration file, to be used in the generated command
generator - Allow user to provide complete custom command generators in Ortac/QCheck-STM
configuration file - Add some new examples and tests to demonstrate testing in a parallel context