ellmau
/
adf-obdd
/
1755922288
88%
|
Ran
|
Jobs
1
|
Files
10
|
Run time
2s
|
Badge
Embed ▾
README BADGES
|
push
github
GitHub
542 of 542 new or added lines in 9 files covered. (100.0%)
1200 of 1334 relevant lines covered (89.96%)
1.62 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 4 |
94.96 |
-1.37% | src/adf.rs |
| 6 |
95.96 |
-2.53% | src/parser.rs |
| 16 |
91.58 |
src/adfbiodivine.rs | |
| 91 |
0.0 |
src/bin/adf_bdd.rs |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 1755922288.1 | 10 |
89.96 |
GitHub Action Run |
