Skip to content

Commit

Permalink
Medusa summary (#376)
Browse files Browse the repository at this point in the history
* Update summary's medusa part
  • Loading branch information
montyly authored Oct 7, 2024
1 parent 099dc60 commit 506a571
Showing 1 changed file with 44 additions and 7 deletions.
51 changes: 44 additions & 7 deletions SUMMARY.md
Original file line number Diff line number Diff line change
Expand Up @@ -107,15 +107,52 @@
- [Exercise 7](./program-analysis/echidna/exercises/Exercise-7.md)
- [Exercise 8](./program-analysis/echidna/exercises/Exercise-8.md)
- [Medusa](./program-analysis/medusa/docs/src/README.md)
- [Getting Started](./program-analysis/medusa/docs/src/getting_started/installation.md)
- [Project Configuration](./program-analysis/medusa/docs/src/project_configuration/overview.md)
the vast number of configuration options that can be set up based on your project needs.
- [Command Line Interface](./program-analysis/medusa/docs/src/cli/overview.md)
- [Writing Tests](./program-analysis/medusa/docs/src/testing/overview.md)
- [API (WIP)](./program-analysis/medusa/docs/src/api/api_overview.md)
- [Installation](./program-analysis/medusa/docs/src/getting_started/installation.md)
- [First Steps](./program-analysis/medusa/docs/src/getting_started/first_steps.md)
- [Configuration Overview](./program-analysis/medusa/docs/src/project_configuration/overview.md)
- [Fuzzing Configuration](./program-analysis/medusa/docs/src/project_configuration/fuzzing_config.md)
- [Testing Configuration](./program-analysis/medusa/docs/src/project_configuration/testing_config.md)
- [Chain Configuration](./program-analysis/medusa/docs/src/project_configuration/chain_config.md)
- [Compilation Configuration](./program-analysis/medusa/docs/src/project_configuration/compilation_config.md)
- [Logging Configuration](./program-analysis/medusa/docs/src/project_configuration/logging_config.md)
- [CLI Overview](./program-analysis/medusa/docs/src/cli/overview.md)
- [init](./program-analysis/medusa/docs/src/cli/init.md)
- [fuzz](./program-analysis/medusa/docs/src/cli/fuzz.md)
- [completion](./program-analysis/medusa/docs/src/cli/completion.md)
- [Testing Overview](./program-analysis/medusa/docs/src/testing/overview.md)
- [The Fuzzing Lifecycle](./program-analysis/medusa/docs/src/testing/fuzzing_lifecycle.md)
- [Types of Invariants](./program-analysis/medusa/docs/src/testing/invariants.md)
- [Writing Function-Level Invariants](./program-analysis/medusa/docs/src/testing/writing-function-level-invariants.md)
- [Writing System-Level Invariants (WIP)](./program-analysis/medusa/docs/src/testing/writing-system-level-invariants.md)
- [Coverage Reports (WIP)](./program-analysis/medusa/docs/src/testing/coverage_reports.md)
- [API Overview (WIP)](./program-analysis/medusa/docs/src/api/api_overview.md)
- [Cheatcodes](./program-analysis/medusa/docs/src/cheatcodes/cheatcodes_overview.md)
- [warp](./program-analysis/medusa/docs/src/cheatcodes/warp.md)
- [roll](./program-analysis/medusa/docs/src/cheatcodes/roll.md)
- [fee](./program-analysis/medusa/docs/src/cheatcodes/fee.md)
- [difficulty](./program-analysis/medusa/docs/src/cheatcodes/difficulty.md)
- [chainId](./program-analysis/medusa/docs/src/cheatcodes/chain_id.md)
- [store](./program-analysis/medusa/docs/src/cheatcodes/store.md)
- [load](./program-analysis/medusa/docs/src/cheatcodes/load.md)
- [etch](./program-analysis/medusa/docs/src/cheatcodes/etch.md)
- [deal](./program-analysis/medusa/docs/src/cheatcodes/deal.md)
- [snapshot](./program-analysis/medusa/docs/src/cheatcodes/snapshot.md)
- [getNonce](./program-analysis/medusa/docs/src/cheatcodes/get_nonce.md)
- [setNonce](./program-analysis/medusa/docs/src/cheatcodes/set_nonce.md)
- [coinbase](./program-analysis/medusa/docs/src/cheatcodes/coinbase.md)
- [prank](./program-analysis/medusa/docs/src/cheatcodes/prank.md)
- [prankHere](./program-analysis/medusa/docs/src/cheatcodes/prank_here.md)
- [ffi](./program-analysis/medusa/docs/src/cheatcodes/ffi.md)
- [addr](./program-analysis/medusa/docs/src/cheatcodes/addr.md)
- [sign](./program-analysis/medusa/docs/src/cheatcodes/sign.md)
- [toString](./program-analysis/medusa/docs/src/cheatcodes/to_string.md)
- [parseBytes](./program-analysis/medusa/docs/src/cheatcodes/parse_bytes.md)
- [parseBytes32](./program-analysis/medusa/docs/src/cheatcodes/parse_bytes32.md)
- [parseInt](./program-analysis/medusa/docs/src/cheatcodes/parse_int.md)
- [parseUint](./program-analysis/medusa/docs/src/cheatcodes/parse_uint.md)
- [parseBool](./program-analysis/medusa/docs/src/cheatcodes/parse_bool.md)
- [parseAddress](./program-analysis/medusa/docs/src/cheatcodes/parse_address.md)
- [Console Logging](./program-analysis/medusa/docs/src/console_logging.md)
- [Coverage report](./program-analysis/medusa/docs/src/coverage_reports.md)
- [FAQ](./program-analysis/medusa/docs/src/faq.md)
- [Manticore](./program-analysis/manticore/README.md)
- [Introduction to symbolic execution](./program-analysis/manticore/symbolic-execution-introduction.md):
Expand Down

0 comments on commit 506a571

Please sign in to comment.