PropRatt: Property-based testing framework for testing asynchronous FRP programs.
PropRatt is a property-based testing framework for testing Async Rattus programs. The key component of PropRatt is its specification language, which extends basic linear temporal logic with a means to express properties of several concurrent signals. This allows users to express temporal properties that relate data coming from different signals at different points in time.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- PropRatt-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | AsyncRattus (>=0.2 && <0.3), base (>=4.7 && <5), containers (>=0.6.5 && <0.8), PropRatt, QuickCheck (>2.10 && <3) [details] |
| License | BSD-3-Clause |
| Copyright | 2025 Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr |
| Author | Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr |
| Maintainer | paba@itu.dk |
| Category | testing |
| Source repo | head: git clone https://github.com/pa-ba/PropRatt |
| Uploaded | by PatrickBahr at 2025-10-14T12:56:37Z |
| Distributions | |
| Executables | timer-example, main-example |
| Downloads | 5 total (5 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2025-10-14 [all 1 reports] |