♻️ Use Native halmos createCalldata Cheat Code
#2697
| Job | Run time |
|---|---|
| 16m 33s | |
| 16m 33s |
halmos createCalldata Cheat Code
#2697
| Job | Run time |
|---|---|
| 16m 33s | |
| 16m 33s |