janhaag/PSE2011 — Issue #56: Missing consequences of specification fails in several help pages
Author: ratefuchs
Created: 2012-02-28 16:30:57+00:00
State: open
Labels: Documentation

In the Assume, Ensure and Invariant pages the consequences of failing those statements are not described (i.e. the execution stops).