@hackage dunai-test0.14.1
Testing library for Dunai
Installation
Dependencies (4)
- QuickCheck >=2.12 && <2.16
- base >=4 && <5
- dunai >=0.5 && <0.15
- normaldistribution >=1.0 && <1.2 Show all…
Dependents (0)
Testing and debugging library for Dunai.
It contains:
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.