Description
Testing Infrastructure for Temporal AbstractioNs - Yampa record-and-replay layer.
Description
Yampa debugger that allows you to run an FRP program and control its execution.
TITAN (Testing Infrastructure for Temporal AbstractioNs) is a framework to test and debug FRP programs. It allows you to write temporal unit tests, check them, QuickCheck them, run FRP programs with a fine-tuned debugger, obtain information to replicate tests, and follow and control the execution of a Yampa program from an interactive GUI.
This library provides a replacement function for Yampa's standard simulation function (reactimate), that enables recording input into a file and reading input from a file.