| 40 | {} |
| 41 | |
| 42 | bool KnowledgeBase::knownToBeDifferent(YulName _a, YulName _b) |
| 43 | { |
| 44 | if (std::optional<u256> difference = differenceIfKnownConstant(_a, _b)) |
| 45 | return difference != 0; |
| 46 | return false; |
| 47 | } |
| 48 | |
| 49 | std::optional<u256> KnowledgeBase::differenceIfKnownConstant(YulName _a, YulName _b) |
| 50 | { |
no outgoing calls
no test coverage detected