-
Notifications
You must be signed in to change notification settings - Fork 340
Pull requests: crytic/echidna
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Display assertion failure immediately once falsified in text mode
#1271
opened Jun 12, 2024 by
samalws-tob
Loading…
Allow to provide a directory with additional json files from slither printer
#1125
opened Sep 23, 2023 by
ggrieco-tob
•
Draft
Read assert locations and determinate if they were executed or not
#1110
opened Sep 1, 2023 by
ggrieco-tob
•
Draft
Collect and show the events from all the transactions
#1075
opened Jun 15, 2023 by
ggrieco-tob
Loading…
Add motivating example from Smartian to research examples
#850
opened Nov 20, 2022 by
webthethird
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.