@cardano / hermod-recon-framework

Latest1.3.0

About

Metadata

  • Last updated
  • License Apache-2.0
  • Categories Testing

  • Maintained by: ruslan.feizerakhmanov@iohk.io

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    debug (off by default)

    Enable some pure verbose debug traces.

Readme

Re(altime) Con(formance) Framework based on Linear Temporal Logic (LTL).