Ran
|
Jobs
1
|
Files
19
|
Run time
1s
|
Badge
Embed ▾
README BADGES
|
github
44 of 44 new or added lines in 3 files covered. (100.0%)
426 of 784 relevant lines covered (54.34%)
108.83 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
96.88 |
src/db/expressions_index.jl | |
5 |
82.14 |
-2.03% | src/expression.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
68.82 |
0.28% | src/Deductive.jl |
1 |
42.31 |
0.64% | src/proof_utilities.jl |
1 |
0.0 |
0.0% | src/search.jl |
1 |
16.33 |
-0.34% | src/set/set.jl |
2 |
43.82 |
-0.37% | src/manipulation.jl |
2 |
74.42 |
0.06% | src/set/set_equality.jl |
2 |
0.0 |
0.0% | src/transformation_proof.jl |
5 |
45.45 |
-2.0% | src/assertion_proof.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 1734074524.1 | 19 |
54.34 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|