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)
commit87eb47502d0343a2489b3f317a92b4e9ebe0965f
tree662512659120c1612709e34dd93ada0390a374a5
parentca9c188e3ca01e246e7f53db8b66d9db586daf74
parent6a95ef33c861f83e2a1df0240020b515e8c33d08
Merge pull request #87 from nakengelhardt/cover_trace_summary

Trace generation improvements