lucas-manuel / invariant-examplesLinks
☆165Updated 2 years ago
Alternatives and similar repositories for invariant-examples
Users that are interested in invariant-examples are comparing it to the libraries listed below
Sorting:
- A forkable template repo for easily writing and testing toy contracts☆153Updated last year
- ☆160Updated last week
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆128Updated last year
- ☆35Updated 2 years ago
- ☆102Updated 3 years ago
- A simple template to perform whitehacks safely☆179Updated 2 years ago
- 👃Automatically identify missing or incomplete natspec☆93Updated 3 months ago
- Diff your Github against Etherscan.☆139Updated this week
- Solidity Audit Report Generator☆84Updated 2 years ago
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆210Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- A VSCode extension offering utilities for solidity smart-contract development.☆133Updated 2 months ago
- ERC4626 Property Tests