Skip to content

A repository focused on implementing invariant testing using Foundry's robust tools to ensure the reliability and correctness of Ethereum smart contracts. It leverages Foundry's modular framework to automate and validate contract behaviors against predefined invariants, enhancing security and reducing potential vulnerabilities.

Notifications You must be signed in to change notification settings

bharatbhusal/invariant_testing

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

9 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Foundry consists of:

  • Forge: Ethereum testing framework (like Truffle, Hardhat and DappTools).
  • Cast: Swiss army knife for interacting with EVM smart contracts, sending transactions and getting chain data.
  • Anvil: Local Ethereum node, akin to Ganache, Hardhat Network.
  • Chisel: Fast, utilitarian, and verbose solidity REPL.

Documentation

https://book.getfoundry.sh/

Usage

Build

$ forge build

Test

$ forge test

Format

$ forge fmt

Gas Snapshots

$ forge snapshot

Anvil

$ anvil

Deploy

$ forge script script/Counter.s.sol:CounterScript --rpc-url <your_rpc_url> --private-key <your_private_key>

Cast

$ cast <subcommand>

Help

$ forge --help
$ anvil --help
$ cast --help

About

A repository focused on implementing invariant testing using Foundry's robust tools to ensure the reliability and correctness of Ethereum smart contracts. It leverages Foundry's modular framework to automate and validate contract behaviors against predefined invariants, enhancing security and reducing potential vulnerabilities.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published