rindPHI
/
isla
/
6381727864
94%
main: 94%
main: 94%
|
Ran
|
Jobs
1
|
Files
21
|
Run time
2s
|
Badge
Embed ▾
README BADGES
|
coverage: 93.847% (-0.1%) from 93.961%
github
web-flow1022 of 1022 new or added lines in 10 files covered. (100.0%)
6711 of 7151 relevant lines covered (93.85%)
0.94 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
93.51 |
-0.93% | src/isla/helpers.py |
| 2 |
94.88 |
0.72% | src/isla/isla_predicates.py |
| 2 |
96.61 |
0.2% | src/isla/solver.py |
| 6 |
96.28 |
-1.0% | src/isla/cli.py |
| 12 |
94.21 |
0.25% | src/isla/evaluator.py |
| 15 |
87.33 |
0.46% | src/isla/z3_helpers.py |
| 19 |
94.95 |
-0.28% | src/isla/language.py |
| 32 |
93.75 |
src/isla/solver2.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 6381727864.1 | 21 |
93.85 |
GitHub Action Run |
