-
Notifications
You must be signed in to change notification settings - Fork 37
Issues: crytic/medusa
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Optimization tests should support inputs and uint return value
#486
opened Sep 19, 2024 by
tuturu-tech
Medusa is counting coverage multiple times during the contract construction
#484
opened Sep 19, 2024 by
ggrieco-tob
investigate performance of memory pool for coverage tracer
help wanted
Extra attention is needed
#479
opened Sep 11, 2024 by
0xalpharush
add tool to convert an echidna config to medusa's format
good first issue
Good for newcomers
medium-priority
#474
opened Sep 6, 2024 by
0xalpharush
add
--explore
flag that disables all testing modes and sets stopOnNoTests
to false
#463
opened Aug 27, 2024 by
0xalpharush
assertion mode: fail and save reproducer if custom error is returned
low-priority
#460
opened Aug 27, 2024 by
bsamuels453
Implement Extra attention is needed
medium-priority
startPrank
and stopPrank
help wanted
#446
opened Aug 16, 2024 by
anishnaik
Brainstorming: support for getMappingSlotAt, getMappingLength and getMappingKeyAndParentOf
#440
opened Aug 12, 2024 by
bsamuels453
Whenever an invariant fails, Medusa should create a foundry test
very-low-priority
#434
opened Aug 8, 2024 by
bsamuels453
Letting the user know when medusa is being run against the same build artifacts
#433
opened Aug 8, 2024 by
bsamuels453
Reversion Metrics
low-priority
planning
This issue is currently in a planning/discussion phase and should not be implemented yet.
#431
opened Aug 8, 2024 by
bsamuels453
create "bloat" mutations that are the opposite of shrink and create artificial shrinking bechmark
#420
opened Jul 26, 2024 by
0xalpharush
report property tests and optimization tests in coverage
medium-priority
#416
opened Jul 26, 2024 by
0xalpharush
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.