Summary for uniswapV2LibraryPairFor

Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K

2 stars 2 forks source link

Summary for uniswapV2LibraryPairFor #37

Closed mariaKt closed 1 month ago

mariaKt commented 1 month ago

This PR adds the summarized rules needed for uniswapV2LibraryPairFor. The conditions are lifted from uniswapV2LibrarySortTokens as needed for success, as we do not currently attempt to summarize for cases that revert.