crytic/echidna

Expression-level coverage support

Aperta

#1164 aperta il 16 gen 2024

Vedi su GitHubGuida contributor
 (2 commenti) (0 reazioni) (0 assegnatari)Haskell (434 fork)auto 404
enhancementgood first issue

Metriche repository

Star
 (3162 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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

Guida contributor

Direzione di ricerca
Implementa la copertura a livello di espressione nel report HTML utilizzando offset e lunghezza da SrcMap invece di calcolare i numeri di riga. Fai riferimento alla funzione di copertura delle righe esistente in src/EVM/Dapp.hs righe 179-183.
Tech stack
haskell
Dominio
testingblockchain
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GitHaskell
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
75