replay reset button

Safecap Platform for improving railway capacity via formal modelling

Status: Pre-Alpha

Brought to you by: alex_iliasov, islop

Milestone: 1.1

Status: open

Owner: Ilya Lopatkin

Labels: None

Updated: 2012-11-21

Created: 2012-11-21

Private: No

add a new counter example replay button to reset to the initial state