yampa-test: Testing library for Yampa.

[ bsd3, library, testing ] [ Propose Tags ]

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.

Flags

Manual Flags

NameDescriptionDefault
test-space

Enable space usage test suite

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0, 0.1.1, 0.2, 0.13.2, 0.13.3, 0.13.4, 0.13.5, 0.13.6, 0.13.7, 0.14, 0.14.1, 0.14.2, 0.14.3, 0.14.4, 0.14.5, 0.14.6, 0.14.7, 0.14.8
Change log CHANGELOG
Dependencies base (>=4 && <5), normaldistribution (>=1.1.0.1 && <1.2), QuickCheck (>=2.12 && <2.15), Yampa (>=0.14.8 && <0.15) [details]
License BSD-3-Clause
Author Ivan Perez
Maintainer ivan.perez@keera.co.uk
Category Testing
Home page http://github.com/ivanperez-keera/Yampa
Source repo head: git clone git://github.com/ivanperez-keera/Yampa.git(yampa-test)
Uploaded by IvanPerez at 2024-04-08T09:15:52Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1983 total (49 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-04-08 [all 1 reports]