Supported Foundry Cheatcodes

Halmos supports the following Foundry cheatcodes:

Environment

• warp(uint256)
• roll(uint256)
• fee(uint256)
• getBlockNumber()
• difficulty(uint256)
• chainId(uint256)
• store(address,bytes32,bytes32)
• load(address,bytes32)
• etch(address,bytes)
• deal(address,uint256)
• prank(address)
• prank(address,address)
• startPrank(address)
• startPrank(address,address)
• stopPrank()
• coinbase(address)

Assertions

Fuzzer

• assume(bool)

Forking

External

• ffi(string[])
• getCode(string)

Utilities

• addr(uint256)
• sign(uint256,bytes32)
• label(address,string)

Snapshot

RPC

Files