yampa-test: Testing library for Yampa.
Testing and dbugging library for Yampa.
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.
|Versions [RSS] [faq]||0.1.0.0, 0.1.1, 0.2|
|Dependencies||base (==4.*), normaldistribution, QuickCheck, Yampa (>=0.12) [details]|
|Uploaded||by IvanPerez at 2019-10-15T00:26:18Z|
|Downloads||1103 total (8 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs available [build log]
Last success reported on 2019-10-15 [all 1 reports]