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