@hackage / PropRatt

Property-based testing framework for testing asynchronous FRP programs.

Latest0.2.0.0

About

Metadata

  • Last updated , by PatrickBahr
  • License BSD-3-Clause

  • Maintained by: paba@itu.dk

  • Lottery factor: 1

Links

Installation

Readme

PropRatt

PropRatt is a Haskell framework for testing AsyncRattus using property-based testing.

Overview

  • The main example file contains example specifications that test signal combinators of the Async Rattus library.
  • The timer example file contains the timer example from the paper.
  • The implementation of the specification language can be found in the PropRatt.LTL module.

Running examples

Using stack:

  • stack run main-example
  • stack run timer-example

Using cabal:

  • cabal run main-example
  • cabal run timer-example