DependableSystemsLab/LLFI — pull request #34 by syltaxue (2014-06-09 23:12:26+00:00)
Title: Gui trace graph checkbox

Add Checkbox to allow users to trace different runs.