add invariant on parent-child class relationship#2730

Merged

kroening merged 1 commit intodevelopfrom

parent-child-invariant

Aug 14, 2018

Commits on Aug 13, 2018

add invariant on parent-child class relationship
Daniel Kroening
committed