crytic/echidna

Expression-level coverage support

Ouverte

#1 164 ouverte le 16 janv. 2024

Voir sur GitHubGuide contributeur
 (2 commentaires) (0 réaction) (0 personne assignée)Haskell (434 forks)auto 404
enhancementgood first issue

Métriques du dépôt

Stars
 (3 162 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

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

Guide contributeur

Direction de recherche
Implémentez la couverture au niveau des expressions dans le rapport HTML en utilisant le décalage et la longueur de SrcMap au lieu de calculer les numéros de ligne. Référez vous à la fonction de couverture de ligne existante dans src/EVM/Dapp.hs lignes 179-183.
Stack technique
haskell
Domaine
testingblockchain
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
GitHaskell
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75