The configuration has changed since Scrutinizer has last run. This page might contain changes that are not related to code modifications.
| ⇢ | B | ContractCheckerAspect::ensureContractSatisfied() added | |
| A | ↛ | ContractCheckerAspect::isContractSatisfied() removed |