Repo Added
|
Files
11
|
Badge
Embed ▾
README BADGES
|
push
github
44 of 44 new or added lines in 1 file covered. (100.0%)
1101 of 1345 relevant lines covered (81.86%)
13030.57 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
654338569 | master | genlib: support for PIN specifications. (#51) | push | GitHub | github | pending completion | |
654324997 | genlib | Merge 572910fc3 into 2d1675b8d | Pull #51 | GitHub | github | pending completion | |
654303377 | genlib | Merge ee10e53ab into 2d1675b8d | Pull #51 | GitHub | github | pending completion | |
654246141 | genlib | Merge f9b3d06b3 into 2d1675b8d | Pull #51 | GitHub | github | pending completion | |
640427471 | master | silence warnings in bristol (#50) | push | GitHub | github | pending completion | |
600331789 | master | Update author names (#49) | push | GitHub | github | pending completion | |
600173579 | tools | Merge 9d1c49c0b into b0a4dc5f0 | Pull #49 | GitHub | github | pending completion | |
592589724 | master | missing header. (#48) | push | GitHub | github | pending completion | |
592579516 | header | Merge d6dd4c7d0 into 3cdeb54fe | Pull #48 | GitHub | github | pending completion | |
589109535 | smt2 | Merge f3e44fb7b into 3cdeb54fe | Pull #45 | GitHub | github | pending completion |