Using correct heap to evaluate old expressions in postcondition...#699

marcoeilers merged 1 commit into

masterviperproject/silicon:masterfrom

meilers_fix_698viperproject/silicon:meilers_fix_698Copy head branch name to clipboard