algorand / graviton

🧑‍🔬 verify your TEAL program by experiment and observation
MIT License
17 stars 8 forks source link

TEAL Coverage in Graviton #24

Open tzaffi opened 2 years ago

tzaffi commented 2 years ago

Coverage Reports

Currently, dry runs return program execution traces which are exposed in the Inspector class via its report() method. Thus, in principle, it should be possible to compute statistics on which lines of associated TEAL program were executed over a sequence of dry runs. With such statistics in hand, coverage reports are therefore possible.

TODO

Flesh this issue out with deliverables and example code coverage frameworks that can serve as inspiration.

Links