package ortac-runtime

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