Closed andresteingress closed 14 years ago
old variable in inherited postcondition is empty due to visibility restrictions on parent properties.
fixed in master.
old variable in inherited postcondition is empty due to visibility restrictions on parent properties.