TEAL Coverage in Graviton

[tzaffi]

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

• Coverage in the ETH space: brownie