crytic / optik

Optik is a set of symbolic execution tools that assist smart-contract fuzzers
https://github.com/crytic/optik
Other
89 stars 12 forks source link

Add coverage information in the UI #83

Closed Boyan-MILANOV closed 2 years ago

Boyan-MILANOV commented 2 years ago

Shows live coverage information in the graphical display. It shows both instruction and source line coverage, with three different measures:

Closes #80