130 -21 Covered Lines
156 -29 Total Lines
83.3 % +1.7% Code Coverage
|
⇢ |
60%
|
AbstractFetcher added |
|
⇢ |
86.21%
|
AbstractContractAspect added |
40%
|
↗ |
84%
|
PostconditionCheckerAspect improved |
40%
|
↗ |
80.95%
|
InvariantCheckerAspect improved |
50%
|
↗ |
80.95%
|
PreconditionCheckerAspect improved |
94.12%
|
↗ |
100%
|
MethodConditionWithInheritDocFetcher improved |
66.67%
|
↛ |
|
Fetcher removed |
81.82%
|
↛ |
|
PreconditionContract removed |
83.33%
|
↛ |
|
InvariantContract removed |
84.62%
|
↛ |
|
PostconditionContract removed |
88.46%
|
↛ |
|
Contract removed |
100%
|
↛ |
|
MethodArgument removed |