titan

Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs.

Debugging GUI that allows you to control the execution of a running FRP program.

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 FRP program from an interactive GUI.

This program provides a GUI to connect to a running application and control its execution.