SUMMARY.md

Summary

Introduction

Getting Started

• Installation
• First Steps

Project Configuration

• Configuration Overview
• Fuzzing Configuration
• Testing Configuration
• Chain Configuration
• Compilation Configuration
• Logging Configuration

Command Line Interface (CLI)

• CLI Overview
• init
• fuzz
• completion

Writing Tests

• Testing Overview
• The Fuzzing Lifecycle
• Types of Invariants
• Writing Function-Level Invariants
• Writing System-Level Invariants (WIP)
• Coverage Reports (WIP)

API

• API Overview (WIP)

Appendices

• Cheatcodes
  • warp
  • roll
  • fee
  • difficulty
  • chainId
  • store
  • load
  • etch
  • deal
  • snapshot
  • getNonce
  • setNonce
  • coinbase
  • prank
  • prankHere
  • ffi
  • addr
  • sign
  • toString
  • parseBytes
  • parseBytes32
  • parseInt
  • parseUint
  • parseBool
  • parseAddress
• Console Logging

FAQ