Parquery / icontract / 10897290580

92%

push

github

Allowed to enforce invariants on attribute setting (#292)

Originally, we had enforced invariants only at calls to "normal"
methods, and excluded ``__setattr__`` since it is usually too expensive
to verify invariants whenever setting an attribute.

However, there are use cases where the users prefer to incur to
computational overhead for correctness. To that end, we introduced the
feature in this patch to steer when the invariants are enforced (at
method calls, on setting attributes, or in both situations).

Fixes #291.

59 of 59 new or added lines in 4 files covered. (100.0%)

1485 of 1598 relevant lines covered (92.93%)

4.49 hits per line