rindPHI / isla / 7758526352
94%
main: 94%

LAST BUILD BRANCH: RepairSolver
DEFAULT BRANCH: main
Ran
Jobs 1
Files 22
Run time 3s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 93.406% (-0.3%) from 93.737%
7758526352

Pull #90

github

web-flow 
Merge d2edf2f3d into 3de029959
Pull Request #90: RepairSolver

690 of 774 new or added lines in 7 files covered. (89.15%)

2 existing lines in 2 files now uncovered.

6813 of 7294 relevant lines covered (93.41%)

0.93 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
99.24
 src/isla/tree_insertion.py
6
95.03
 0.2% src/isla/language.py
7
87.78
 0.61% src/isla/z3_helpers.py
70
85.45
 src/isla/repair_solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
96.54
 -0.07% src/isla/solver.py
1
87.78
 0.61% src/isla/z3_helpers.py
Jobs
ID Job ID Ran Files Coverage
1 7758526352.1 22
93.41
 GitHub Action Run
Source Files on build 7758526352