dunai-test: Testing library for Dunai
Testing and debugging library for Duani.
Debugging signal functions using Debug.Trace.
A definition of Temporal Predicates based on LTL.
Monitoring signal functions with ptLTL using Signal Predicates.
A definition of Streams, and a Stream manipulation API.
Signal/stream generators for QuickCheck.
A detailed explanation of these ideas is included in the ICFP 2017 paper Testing and Debugging Functional Reactive Programming.
|Dependencies||base (==4.*), dunai (==0.5.*), normaldistribution, QuickCheck [details]|
|Uploaded||by IvanPerez at Sun Feb 10 11:14:27 UTC 2019|
|Downloads||75 total (13 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Last success reported on 2019-02-10 [all 1 reports]
For package maintainers and hackage trustees