rindPHI / isla / 7758740674
94%
main: 94%

LAST BUILD BRANCH: RepairSolver
DEFAULT BRANCH: main
Ran
Jobs 1
Files 22
Run time 6s
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%
7758740674

Pull #90

github

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

700 of 786 new or added lines in 7 files covered. (89.06%)

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
2
98.47
 src/isla/tree_insertion.py
7
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 7758740674.1 22
93.41
 GitHub Action Run
Source Files on build 7758740674