rindPHI / isla / 7846461830
94%
main: 94%

LAST BUILD BRANCH: RepairSolver
DEFAULT BRANCH: main
Ran
Jobs 1
Files 22
Run time 2s
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.504% (-0.2%) from 93.737%
7846461830

Pull #90

github

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

796 of 884 new or added lines in 7 files covered. (90.05%)

2 existing lines in 2 files now uncovered.

6852 of 7328 relevant lines covered (93.5%)

0.94 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
98.47
 src/isla/tree_insertion.py
3
93.46
 -0.25% src/isla/derivation_tree.py
8
88.18
 1.01% src/isla/z3_helpers.py
23
94.32
 -0.51% src/isla/language.py
52
89.66
 src/isla/repair_solver.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
96.54
 -0.07% src/isla/solver.py
1
88.18
 1.01% src/isla/z3_helpers.py
Jobs
ID Job ID Ran Files Coverage
1 7846461830.1 22
93.5
 GitHub Action Run
Source Files on build 7846461830