janhaag/PSE2011 — Issue #54: Non-complete descriptions of invariants in help
Author: ratefuchs
Created: 2012-02-28 16:26:16+00:00
State: open
Labels: Documentation

Invariants are also checked on entering a loop statement for the first time, even if the condition is false when the loop is encountered first (and therefore the body is never executed).