Avoid defining let-bound variables on SMT level - #948

Avoid defining let-bound variables on SMT level#948

marcoeilers wants to merge 1 commit into

masterviperproject/silicon:masterfrom

meilers_avoid_smt_level_let_vars2viperproject/silicon:meilers_avoid_smt_level_let_vars2Copy head branch name to clipboard