sisl / NeuralVerification.jl / 273
87%

DEFAULT BRANCH: master
Ran
Jobs 9
Files 56
Run time 68min
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
273

push

travis-ci

changliuliu 
fix #113. The ReachabilityResult needs to return an array of reachable sets instead of one set in the form of AbstractPolytope.

1454 of 1680 relevant lines covered (86.55%)

194.01 hits per line

Jobs
ID Job ID Ran Files Coverage
1 273.1 0
85.0
 Travis Job 273.1
2 273.2 0
88.37
 Travis Job 273.2
3 273.3 0
88.37
 Travis Job 273.3
4 273.4 0
85.0
 Travis Job 273.4
5 273.5 0
88.37
 Travis Job 273.5
6 273.6 0
88.37
 Travis Job 273.6
7 273.7 0
85.0
 Travis Job 273.7
8 273.8 0
88.37
 Travis Job 273.8
9 273.9 0
88.37
 Travis Job 273.9
Source Files on build 273
Detailed source file information is not available for this build.