Ran
|
Jobs
1
|
Files
254
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
github
16 of 109 new or added lines in 3 files covered. (14.68%)
18761 of 29942 relevant lines covered (62.66%)
453066.35 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
71.85 |
-0.21% | src/analyses/unassumeAnalysis.ml |
4 |
60.96 |
-0.39% | src/witness/yamlWitness.ml |
87 |
41.1 |
-15.98% | src/witness/yamlWitnessType.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 2283.1 | 254 |
62.66 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|