File tree 1 file changed +4
-1
lines changed
1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change 130
130
- [ Types of Invariants] ( ./program-analysis/medusa/docs/src/testing/invariants.md )
131
131
- [ Writing Function-Level Invariants] ( ./program-analysis/medusa/docs/src/testing/writing-function-level-invariants.md )
132
132
- [ Writing System-Level Invariants (WIP)] ( ./program-analysis/medusa/docs/src/testing/writing-system-level-invariants.md )
133
- - [ Coverage Reports (WIP) ] ( ./program-analysis/medusa/docs/src/testing/coverage_reports .md )
133
+ - [ Reporting ] ( ./program-analysis/medusa/docs/src/testing/reporting .md )
134
134
- [ API Overview (WIP)] ( ./program-analysis/medusa/docs/src/api/api_overview.md )
135
135
- [ Cheatcodes] ( ./program-analysis/medusa/docs/src/cheatcodes/cheatcodes_overview.md )
136
136
- [ warp] ( ./program-analysis/medusa/docs/src/cheatcodes/warp.md )
144
144
- [ etch] ( ./program-analysis/medusa/docs/src/cheatcodes/etch.md )
145
145
- [ deal] ( ./program-analysis/medusa/docs/src/cheatcodes/deal.md )
146
146
- [ snapshot] ( ./program-analysis/medusa/docs/src/cheatcodes/snapshot.md )
147
+ - [ getCode] ( ./program-analysis/medusa/docs/src/cheatcodes/get_code.md )
147
148
- [ getNonce] ( ./program-analysis/medusa/docs/src/cheatcodes/get_nonce.md )
148
149
- [ setNonce] ( ./program-analysis/medusa/docs/src/cheatcodes/set_nonce.md )
149
150
- [ coinbase] ( ./program-analysis/medusa/docs/src/cheatcodes/coinbase.md )
150
151
- [ prank] ( ./program-analysis/medusa/docs/src/cheatcodes/prank.md )
152
+ - [ startPrank] ( ./program-analysis/medusa/docs/src/cheatcodes/start_prank.md )
153
+ - [ stopPrank] ( ./program-analysis/medusa/docs/src/cheatcodes/stop_prank.md )
151
154
- [ prankHere] ( ./program-analysis/medusa/docs/src/cheatcodes/prank_here.md )
152
155
- [ ffi] ( ./program-analysis/medusa/docs/src/cheatcodes/ffi.md )
153
156
- [ addr] ( ./program-analysis/medusa/docs/src/cheatcodes/addr.md )
You can’t perform that action at this time.
0 commit comments