sisl / NeuralVerification.jl / 274
87%

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

push

travis-ci

changliuliu 
fix #112. MIPVerify uses the bounds computed from the input set to contraint the network. So we also need to add the input set as a constraint to the optimization problem.

1454 of 1682 relevant lines covered (86.44%)

193.94 hits per line

Jobs
ID Job ID Ran Files Coverage
1 274.1 0
84.9
 Travis Job 274.1
2 274.2 0
88.28
 Travis Job 274.2
3 274.3 0
88.28
 Travis Job 274.3
4 274.4 0
84.9
 Travis Job 274.4
5 274.5 0
88.28
 Travis Job 274.5
6 274.6 0
88.28
 Travis Job 274.6
7 274.7 0
84.9
 Travis Job 274.7
8 274.8 0
88.28
 Travis Job 274.8
9 274.9 0
88.28
 Travis Job 274.9
Source Files on build 274
Detailed source file information is not available for this build.