@cardano cardano-recon-framework1.0.0

  • Categories

    • License

      Apache-2.0

    • Maintainer

      ruslan.feizerakhmanov@iohk.io

    • Links

    • Versions

    • Installation

    • Dependencies (14)

    • Dependents (0)

      • Package Flags

        debug
         (off by default)

        Enable some pure verbose debug traces.

        crash-on-missing-key
         (off by default)

        If enabled throw an exception when a formula atom expects a missing key, otherwise evaluate the atom to ⊥.

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