yampa-test: Testing library for Yampa.
Testing and debugging 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, 0.13.2|
|Dependencies||base (==4.*), normaldistribution, QuickCheck, Yampa (>=0.13.2 && <0.14) [details]|
|Uploaded||by IvanPerez at 2021-09-15T05:24:57Z|
|Downloads||1175 total (65 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs available [build log]
All reported builds failed as of 2021-09-15 [all 1 reports]