janhaag/PSE2011 — Issue #107: GUI is unresponsive during verification
Author: tschlum
Created: 2012-03-07 09:40:47+00:00
State: open
Labels: GUI

When starting a verification of a program with the 'Validate' button or with 'Run' - 'Verify', the GUI will become unresponsive.
There might be a blocking wait.