67 +6 Covered Lines
75 +6 Total Lines
89.3 % +0.9% Code Coverage
92.86%
|
↗ |
93.55%
|
ContractCheckerAspect improved |
5.009
|
↘ |
5.0073
|
ContractCheckerAspect::postConditionContract() improved |