DependableSystemsLab/LLFI — pull request #50 by syltaxue (2014-08-09 21:02:18+00:00)
Title: Trace file name, zg rviewer

1. Display line number/ index number in a user friendly way.
2. Display file name in GUI
3. Informe user the success information for instrument & runtimeoption steps