Parquery / icontract / 10970110835

93%

push

github

Fixed invariants leak between related classes (#297)

With pull request #292, we allowed users to specify the events which
trigger the invariant checks for each individual invariant.

This introduced a bug where invariants added to a child class were also
added to a parent class.

In this patch, we fixed the issue.

Fixes #295.

8 of 9 new or added lines in 2 files covered. (88.89%)

1487 of 1600 relevant lines covered (92.94%)

4.49 hits per line