It could be very interesting to add information from the logs to the Dafny source that is included in the HTML: position of every assertion, number of assertions in each line, percentage of the total cost contributed by each line (given that a single Dafny expression can be reported as multiple assertions).
Doing this without turning the source into a mess will be challenging. Maybe colours and tooltips would be the way to go.
Check first what exactly does Dafny's own "coverage report" show. Would I be duplicating effort? Or maybe I can improve something directly there? Or extract more information from there?
Related to #6
It could be very interesting to add information from the logs to the Dafny source that is included in the HTML: position of every assertion, number of assertions in each line, percentage of the total cost contributed by each line (given that a single Dafny expression can be reported as multiple assertions).
Doing this without turning the source into a mess will be challenging. Maybe colours and tooltips would be the way to go.
Check first what exactly does Dafny's own "coverage report" show. Would I be duplicating effort? Or maybe I can improve something directly there? Or extract more information from there?
Related to #6