67.86%
|
↗ |
92.86%
|
ContractCheckerAspect improved |
30
|
↘ |
5
|
ContractCheckerAspect::invariantContract() improved |