GUI for the Fastrack Data Race Detector for the Roadrunner tool suite.