Use also equalities to constants in overapprox
So that we can derive when a load equals some constant in invariants.
parent
1af0f3ff
Please register or sign in to comment
So that we can derive when a load equals some constant in invariants.