thanos
/
ex_datalog
/
a43ee0a0a8b5948084b4e80ba28daded173e34e2
94%
|
Ran
|
Jobs
1
|
Files
24
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 92.068%. First build
push
github
web-flow598 of 649 new or added lines in 20 files covered. (92.14%)
708 of 769 relevant lines covered (92.07%)
116.84 hits per line
Uncovered Changes
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 16 |
71.43 |
lib/ex_datalog/engine/evaluator.ex | |
| 10 |
93.1 |
lib/ex_datalog/engine/naive.ex | |
| 8 |
87.88 |
lib/ex_datalog/compiler.ex | |
| 5 |
88.64 |
lib/ex_datalog/storage/map.ex | |
| 2 |
94.12 |
lib/ex_datalog/engine/constraint_eval.ex | |
| 2 |
93.33 |
lib/ex_datalog/engine/join.ex | |
| 2 |
92.86 |
lib/ex_datalog/explain.ex | |
| 2 |
88.89 |
lib/ex_datalog/ir.ex | |
| 2 |
89.8 |
lib/ex_datalog/program.ex | |
| 1 |
84.31 |
lib/ex_datalog/validator.ex | |
| 1 |
97.56 |
lib/ex_datalog/validator/safety.ex |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | a43ee0a0a8b5948084b4e80ba28daded173e34e2.1 | 24 |
92.07 |
GitHub Action Run |
