crytic / crytic/tealer

Execution path redundancy highlighting

Open
#52 1 comment 0 reactions 0 assignees View on GitHub
new analyses
Dominant language
Python
Stars
63
Forks
13
PR merge metrics
No merged PRs in 30d

Description

As a user I would like to have an option to highlight redundant asserts and operations along an execution path so that I can optimize execution and readability of my program.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.