janhaag/PSE2011 — Issue #47: Unneccessary code in Interpreter
Author: ratefuchs
Created: 2012-02-28 13:50:28+00:00
State: open
Labels: Interpreter

In the class Interpreter.java, there is unreachable code which was thought to be error recovery after an assert statement has failed (e.g., defining x/0 as 0 when continuing execution after the "!= 0" assert statement). But in our implementation, program execution stops on specification statement fails and may not be continued, so this code is redundant.