You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+15Lines changed: 15 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -30,6 +30,7 @@ The Recon extension is a VS Code extension that streamlines smart contract testi
30
30
-**Fuzzer integration**: Quick access to fuzzing tools directly through the extension
31
31
-**Coverage visualization**: View and analyze code coverage from fuzzers
32
32
-**Test generation**: Generate Foundry unit tests from call sequences that break properties found by the fuzzer
33
+
-**Log to Foundry Repro converter**: Convert Echidna and Medusa logs to Foundry test reproductions with customizable VM options
33
34
-**Mock/TargetFunctions generation**: Easily create mock contracts and target functions for testing
34
35
-**CodeLens integration**: Run tests and modify function behaviors directly in the editor
35
36
@@ -106,6 +107,20 @@ After running a fuzzer with coverage enabled:
106
107
107
108
Right-click on a contract's JSON artifact (located in the `out/` directory by default) or Solidity file and select "Generate Solidity Mock" to create a mock implementation of the contract.
108
109
110
+
### Converting Logs to Foundry Tests
111
+
112
+
The Log to Foundry converter helps you create reproducible Foundry tests from fuzzer outputs:
113
+
114
+
1. In the Recon Cockpit view, click "Tools" and select "Log to Foundry"
115
+
2. Select your fuzzer (Echidna or Medusa)
116
+
3. Paste the fuzzer log output into the text area
117
+
4. Click "Convert" to process the log
118
+
5. For each broken property found:
119
+
- Toggle VM options (vm.prank, vm.roll, vm.warp) independently
120
+
- View the generated Foundry test code with syntax highlighting
121
+
- Copy individual properties or all properties at once
0 commit comments