Showing
per
coverage for the
min
day
last 6 months
Coverage Chart
Loading
Coverage Sunburst
| Files | Coverage |
|---|---|
| cli/src/main/scala | 0.00% |
| core/src/main/scala/gapt | 63.16% |
| examples | 40.11% |
| testing/src/main/scala | 0.00% |
| doc/evalCodeSnippetsInLatex.scala | 0.00% |
| Project Totals (701 files) | 57.46% |
InstanceConstructionAndDummyProver22b6341InstanceConstructionAndDummyProverafa25d9leancopparser7acfb5bleancopparser379c9f9develope644cc7leancopparser9e7b841