crytic/echidna

Expression-level coverage support

Offen

#1.164 geöffnet am 16.01.2024

Auf GitHub ansehenContributor Guide
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Haskell (434 Forks)auto 404
enhancementgood first issue

Repository-Metriken

Stars
 (3.162 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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

Contributor Guide

Research-Richtung
Implementieren Sie die Ausdrucksabdeckung im HTML Bericht, indem Sie Offset und Länge von SrcMap verwenden, anstatt Zeilennummern zu berechnen. Verweisen Sie auf die vorhandene Zeilenabdeckungsfunktion in src/EVM/Dapp.hs Zeilen 179-183.
Tech Stack
haskell
Domain
testingblockchain
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
GitHaskell
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75