Repo Added
|
Build
2078
Last
|
Files
47
|
Badge
Embed ▾
README BADGES
|
github
44 of 44 new or added lines in 7 files covered. (100.0%)
4489 of 5319 relevant lines covered (84.4%)
1037.05 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1091f8a9... | fix-soundness-hole-inserting-truncated-values | fix links in docs | Pull #442 | pacman82 | github |
84.4 |
|
3b515c51... | fix-soundness-hole-inserting-truncated-values | refactor test to use input_output_parameter | push | Markus Klein | github |
84.4 |
|
95b69e99... | fix-soundness-hole-inserting-truncated-values | boyscout: refactor test for clarity | push | Markus Klein | github |
84.34 |
|
6c4a0cfd... | fix-soundness-hole-inserting-truncated-values | check for truncation with input/output parameters | push | Markus Klein | github |
84.28 |
|
4100f5da... | fix-soundness-hole-inserting-truncated-values | all tests pass after introducing truncation check | push | Markus Klein | github |
84.28 |
|
f9a2046a... | fix-soundness-hole-inserting-truncated-values | introduce assert_completness | push | pacman82 | github |
84.28 |