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

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
Change log CHANGELOG
Dependencies base (>=4 && <5), normaldistribution, QuickCheck, Yampa (>=0.13.6 && <0.14) [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 2022-08-08T03:10:54Z
Distributions NixOS:0.13.5
Downloads 1482 total (14 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-08-08 [all 1 reports]