Skip to content

CHANGES.md

Latest commit

 

History

History
183 lines (162 loc) · 8.38 KB

CHANGES.md

File metadata and controls

183 lines (162 loc) · 8.38 KB
Raw

0.8.0

  • Remove pin and update constraints on gospel package #375
  • [QCheck-STM] Reintegrate full testing of sut-returning function in domain mode #373
  • [QCheck-STM] User can now provides gen_cmd*s rather than arb_cmd*s #372
  • [QCheck-STM] Fix last error name which mentioned frequency #371
  • [QCheck-STM] Update to QCheck 0.90 great renaming #370
  • [QCheck-STM] Make traces lazy in bug report #369
  • [Examples] Add Saturn mpsc examples #367
  • [QCheck-STM] Allow for user to defined frequencies per domain #365
  • Pin Gospel version 0.3.1.dev #364
  • [Wrapper] Fixes field access in checks clauses #362
  • [QCheck-STM] Allow for user defined arb_cmds #359
  • [QCheck-STM] Allow for user defined frequencies in generated arb_cmd #358
  • [QCheck-STM+Dune] Add count optional argument #357
  • [Dune] Add optional arguments to control aliases #354
  • [QCheck-STM] Add domain bug report generation #346
  • [QCheck-STM] Make ortac_show_cmd look at the models #353
  • [QCheck-STM] Refactor bug report printing #345
  • [Dune] Add domain flag to ortac-dune qcheck-stm #329
  • [QCheck-STM] Add basic runtime for domain testing #328
  • [QCheck-STM] Refactor runtime to allow for OCaml5-only sub-library #316

0.7.2

  • [Dune] Fix cycle dependency in Ortac/Dune-rules for wrapper plugin #348

0.7.1

  • [Dune] Fix dependencies in generated library declaration for Ortac/Wrapper #342
  • [Dune] Fix dependencies in ortac-dune #340

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