sisl / NeuralVerification.jl / 214
87%

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

push

travis-ci

web-flow 
Merge pull request #93 from castrong/avoid_model_recreate

Avoid model recreation at every call of reluplex_step

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

1418 of 1614 relevant lines covered (87.86%)

267.13 hits per line

Jobs
ID Job ID Ran Files Coverage
1 214.1 0
86.25
 Travis Job 214.1
2 214.2 0
89.41
 Travis Job 214.2
3 214.3 0
89.41
 Travis Job 214.3
4 214.4 0
86.25
 Travis Job 214.4
5 214.5 0
89.41
 Travis Job 214.5
6 214.6 0
89.41
 Travis Job 214.6
7 214.7 0
86.25
 Travis Job 214.7
8 214.8 0
89.41
 Travis Job 214.8
9 214.9 0
89.41
 Travis Job 214.9
10 214.10 0
89.41
 Travis Job 214.10
12 214.12 0
89.41
 Travis Job 214.12
14 214.14 0
89.41
 Travis Job 214.14
Source Files on build 214
Detailed source file information is not available for this build.