crytic/echidna

Expression-level coverage support

Aberta

#1.164 aberto em 16 de jan. de 2024

Ver no GitHubGuia do colaborador
 (2 comentários) (0 reação) (0 responsável)Haskell (434 forks)auto 404
enhancementgood first issue

Métricas do repositório

Stars
 (3.162 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

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

Guia do colaborador

Direção de pesquisa
Implemente a cobertura no nível de expressão no relatório HTML usando deslocamento e comprimento do SrcMap em vez de calcular números de linha. Consulte a função de cobertura de linha existente em src/EVM/Dapp.hs linhas 179-183.
Pilha de tecnologia
haskell
Domain
testingblockchain
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
GitHaskell
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
75