team-worthwhile/worthwhile — Issue #78: Programs are not marked as terminated after proving
Author: jspam
Created: 2012-02-19 19:44:47+00:00
State: open
Labels: debugger

After proving a program, an entry remains in the `Debug` window.