janhaag/PSE2011 — Issue #44: Calling 'length' on an Array always yields 5
Author: janhaag
Created: 2012-02-27 12:23:09+00:00
State: open
Labels: Verifier/SMTLib