team-worthwhile/worthwhile — Issue #57: Prover ignores negative indexed array access
Author: bafain
Created: 2012-02-17 08:16:54+00:00
State: open