Extend coverage on uniswapPair mint()#13

guille-block wants to merge 1 commit intocrytic:maincrytic/echidna-streaming-series:mainfrom

guille-block:mainguille-block/echidna-streaming-series:mainCopy head branch name to clipboard