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).

貢獻者指南