Merge pull request #87 from nakengelhardt/cover_trace_summary
authorN. Engelhardt <nak@symbioticeda.com>
Wed, 13 May 2020 16:45:39 +0000 (18:45 +0200)
committerGitHub <noreply@github.com>
Wed, 13 May 2020 16:45:39 +0000 (18:45 +0200)
Trace generation improvements


Trivial merge