sisl / NeuralVerification.jl / 25
87%

DEFAULT BRANCH: master
Ran
Jobs 6
Files 26
Run time 15min
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
25

push

travis-ci

clazarus 
fixing Reluplex output docstring, currently only supports hyperrectangles

736 of 1056 relevant lines covered (69.7%)

38.53 hits per line

Jobs
ID Job ID Ran Files Coverage
1 25.1 0
52.75
 Travis Job 25.1
2 25.2 0
69.7
 Travis Job 25.2
3 25.3 0
52.75
 Travis Job 25.3
4 25.4 0
69.7
 Travis Job 25.4
5 25.5 0
69.7
 Travis Job 25.5
6 25.6 0
69.7
 Travis Job 25.6
Source Files on build 25
Detailed source file information is not available for this build.