69 +8 Covered Lines
77 +8 Total Lines
89.6 % +1.2% Code Coverage
92.86%
|
↗ |
93.75%
|
ContractCheckerAspect improved |
|
⇢ |
6
|
ContractCheckerAspect::ensureContractSatisfied() added |
5.009
|
↘ |
5.0073
|
ContractCheckerAspect::postConditionContract() improved |
3
|
↛ |
|
ContractCheckerAspect::isContractSatisfied() removed |