mAarnos
/
Serkr
96%
master: 96%
master: 96%
|
Repo Added
|
Files
47
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
statistics-reporting
branch: statistics-reporting
CHANGE BRANCH
x
-
statistics-reporting
-
clause-selection
-
code-cleanup
-
coveralls
-
formula-renaming
-
indexing
-
master
-
performance-improvement
-
proof-output
CHANGE BRANCH
x
-
statistics-reporting
- clause-selection
- code-cleanup
- coveralls
- formula-renaming
- indexing
- master
- performance-improvement
- proof-output
push
travis-ci
2679 of 2777 relevant lines covered (96.47%)
4.95 hits per line
Relevant lines Covered
2777
RELEVANT LINES
2679
COVERED LINES
4.95
HITS PER LINE
Source Files on statistics-reporting
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 69 | statistics-reporting | Fixed the script for analyzing stuff | push |  mAarnos |
travis-ci | pending completion | |
| 68 | statistics-reporting | Improved the way statistics etc. are outputted | push | mAarnos |
travis-ci | pending completion |