Open Issues Need Help
View All on GitHub [QCheck-STM] Allow for user defined frequencies in generated `arb_gen` about 2 months ago
AI Summary: Modify the Ortac QCheck-STM plugin to allow users to define frequencies for generated test cases via a configuration file. This involves changing the `arb_cmd` generator from using `oneof` to `frequency`, defaulting frequencies to 1, and overriding them with user-specified values from a new `Frequencies` module in the configuration file.
Complexity:
4/5
enhancement good first issue qcheck-stm
Runtime assertion checking based on Gospel specifications
OCaml
#ocaml#runtime-verification#specification#verfication