janhaag/PSE2011 — Issue #42: Array assignments lead to syntactically invalid SMTLib code
Author: janhaag
Created: 2012-02-27 12:14:47+00:00
State: open

Array assignments lead to undefined references in the SMTLib code.