crytic / crytic/properties

[Feature-request]: Add support for common AMM or liquidity pool

Open
#4 3 comments 2 reactions 0 assignees View on GitHub
Dominant language
Solidity
Stars
371
Forks
59
No merged PRs in 30d

Description

### Describe the desired feature or improvement

Uniswap v2 might be a good first one

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.