The latest version of yampa-test is 0.14.11-0.
yampa-test
Version 0.14.8 revision 0 uploaded by IvanPerez.
Package meta
- Synopsis
- Testing library for Yampa.
- Description
Testing and debugging library for Yampa.
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.
- Author
- Ivan Perez
- Bug reports
- n/a
- Category
- Testing
- Copyright
- n/a
- Homepage
- http://github.com/ivanperez-keera/Yampa
- Maintainer
- ivan.perez@keera.co.uk
- Package URL
- n/a
- Stability
- n/a