diff --git a/SUMMARY.md b/SUMMARY.md index f872edd5..651d630e 100644 --- a/SUMMARY.md +++ b/SUMMARY.md @@ -130,7 +130,7 @@ - [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) + - [Reporting](./program-analysis/medusa/docs/src/testing/reporting.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) @@ -144,10 +144,13 @@ - [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) + - [getCode](./program-analysis/medusa/docs/src/cheatcodes/get_code.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) + - [startPrank](./program-analysis/medusa/docs/src/cheatcodes/start_prank.md) + - [stopPrank](./program-analysis/medusa/docs/src/cheatcodes/stop_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) diff --git a/program-analysis/medusa b/program-analysis/medusa index 4f7a62e1..027d3870 160000 --- a/program-analysis/medusa +++ b/program-analysis/medusa @@ -1 +1 @@ -Subproject commit 4f7a62e1456a2b67ddcf296fd1ab922ad65cc62e +Subproject commit 027d387096bd6b1a511ebb2dcba1b93a045e9720