janhaag/PSE2011 — Issue #110: Array Accesses don't get replaced properly if the access is not in the current part of the program
Author: janhaag
Created: 2012-03-07 17:11:53+00:00
State: open
Labels: Verifier/SMTLib

Particularly, this happens with arrays as function parameters and after split on conditionals and loops.