sisl / NeuralVerification.jl / 220
87%

DEFAULT BRANCH: master
Ran
Jobs 12
Files 54
Run time 41min
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
220

push

travis-ci

changliuliu 
Fix #83. Now tighten_bounds in Planet will only check feasibility, not compute bounds.

1 of 1 new or added line in 1 file covered. (100.0%)

1404 of 1606 relevant lines covered (87.42%)

267.75 hits per line

Jobs
ID Job ID Ran Files Coverage
1 220.1 0
85.8
 Travis Job 220.1
2 220.2 0
89.03
 Travis Job 220.2
3 220.3 0
89.03
 Travis Job 220.3
4 220.4 0
85.8
 Travis Job 220.4
5 220.5 0
89.03
 Travis Job 220.5
6 220.6 0
89.03
 Travis Job 220.6
7 220.7 0
85.8
 Travis Job 220.7
8 220.8 0
89.03
 Travis Job 220.8
9 220.9 0
89.03
 Travis Job 220.9
10 220.10 0
89.03
 Travis Job 220.10
12 220.12 0
89.03
 Travis Job 220.12
14 220.14 0
89.03
 Travis Job 220.14
Source Files on build 220
Detailed source file information is not available for this build.