package ortac-core

  1. Overview
  2. Docs
Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel

Install

Dune Dependency

Authors

Maintainers

Sources

0.4.0.tar.gz
md5=16613f8f5d8cd134335ad8ddbca051f6
sha512=1e9f803639370aae447cc601cc17d780e3d0395977899fd5dcfcb037f754148a6a03178ac097a92667b5d02995d7b1f022f30b121de0744f72dad7f5d8306db9

CHANGES.md.html

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

OCaml

Innovation. Community. Security.