- Synopsis
-
- Description
-
Cardano Re(altime) Con(formance) Framework based on Linear Temporal Logic (LTL).
- Author
-
Ruslan Feizerakhmanov, Juergen Nicklisch, Michael Karg
- Maintainer
-
ruslan.feizerakhmanov@iohk.io
- License
-
Apache-2.0
- Source
-
-
https://github.com/IntersectMBO/cardano-node
- Commit hash
- db790a84c1f21f9badfdcedfe802512678d51214
- Subdir
- bench/cardano-recon-framework
- Timestamp
-
2026-03-06T13:11:00Z
- Revisions
-
None
- Dependencies
-
- library cardano-recon-framework:
-
- ["base","containers","text","directory","trace-dispatcher ^>=2.11","serialise","bytestring","time","stm","aeson","streaming","megaparsec","unagi-chan","yaml"]
- executable cardano-recon:
-
- ["base","text","containers","cardano-recon-framework","trace-dispatcher ^>=2.11","aeson","streaming","async","optparse-applicative","aeson-pretty","ekg-core","network","hostname","contra-tracer ^>=0.1.0"]
- test-suite cardano-recon-test:
-
- ["base","cardano-recon-framework","containers","tasty","tasty-hunit","text","megaparsec"]