Medusa summary (#376)

* Update summary's medusa part
crytic · Oct 7, 2024 · 506a571 · 506a571
1 parent 099dc60
commit 506a571
Showing 1 changed file with 44 additions and 7 deletions.
diff --git a/SUMMARY.md b/SUMMARY.md
@@ -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):