crytic/echidna

Expression-level coverage support

开放

#1,164 创建于 2024年1月16日

 (2 条评论) (0 个反应) (0 位负责人)Haskell (434 个派生)auto 404
enhancementgood first issue

仓库指标

星标
 (3,162 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

Describe the desired feature

This should be a fairly simple task because source maps already return offset and length of the expression in the source. We do line coverage with this function, which computes the line number https://github.com/ethereum/hevm/blob/6c876b24b61d2c8f8b9919cc668db9a03e6496c8/src/EVM/Dapp.hs#L179-L183. Instead, we can just use offset and length from SrcMap and color accordingly. For now, we should do it only for html and think how to do it with text and lcov formats (not sure if this is even supported).

贡献者指南