package ortac-runtime-qcheck-stm

0.7.0

• [Wrapper] Add a better management of attribute for projection functions #332
• [Wrapper] Print projection function as Ir.Projection and Ir.Value #331
• [Wrapper] Prevent code generation if required model projection is absent #327
• [QCheck-STM] Fix next-state computation for functions specialised for ints #326
• [Wrapper] Fix naming conflicts between model projections and function arguments #324
• [Wrapper] Add header message in generated files with wrapper mode #322
• [Dune] Add automatic dune file generation to the wrapper plugin #314 and #335
• [Wrapper] Fix missing model support in preconditions #313
• [Wrapper] Add support for models in the wrapper plugin #305
• [QCheck-STM] Disable warning 34 in generated code #307
• [Wrapper] Reorganise tests into separate files #306
• [Wrapper] Add support for old operator in the wrapper plugin #297
• [Wrapper] Extend Wrapper plugin tests #299
• [Wrapper] Fix incorrect error type for violated preconditions and postconditions #295

0.6.1

• [QCheck-STM] Fix labelled arguments in runnable scenario #302
• Fix lwt_dllist_spec signature in /examples to meet the implementation #301
• [QCheck-STM] Modifies SUTs in place in the store #296

0.6.0

• Make search for returned value description more flexible #291
• Fix generation of the QCheck.Fn.apply identifier #288
• Improve failure message in case of out of domain failure #287

0.5.0

• Add submodule optional argument to Ortac/QCheck-STM and Ortac/Dune #281
• Add module-prefix optional argument to Ortac/QCheck-STM and Ortac/Dune #280
• Add support for generating function values #277
• Extend QCheck-STM plugin tests #271
• Remove unnecessary stack access from precondition #264

0.4.0

• Add support for running tests in separate processes with a timeout #259
• Add Reserr.{traverse,traverse_,promote_mapi}, rename Reserr.map to Reserr.promote_map and remove Reserr.concat_map #250
• Fix display of the runnable scenario for protected values #251
• Add support for returning sut values #253
• Add support for multiple sut arguments #247
• Fix sut as type argument or inside tuple bug #245

0.3.0

• Read an optional cleanup function from configuration module #226
• Fix field access translation #229
• Add support for functional type in model #230
• Remove bug in qcheck-stm plugin when returning integers #240
• Add support for testing functions with tuple arguments/return values #237
• Add dune-rules plugin #190 #218
• Add support for testing functions without a sut argument #235
• Add error for empty command type #234
• Move to a module-based configuration #214
• Add support for custom ghost types as model #228

0.2.0

• Make --help and --version work even without any plugins installed #217
• Improve test-failure message #202 and #204 and #206
• Add a comment warning that the file is generated #198
• Add support for type invariants #197
• Add an include option to qcheck-stm cli #181
• Add a quiet flag #179
• Check for out of scope variables #175
• Translate constant integer patterns with a guard testing for equality #174

0.1.0

• Initial release