sisl / NeuralVerification.jl / 285 / 6
87%
master: 87%

DEFAULT BRANCH: master
Ran
Files 28
Run time 27s
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
coverage: 88.201%. Remained the same
285.6

push

travis-ci

changliuliu 
fix #55. Change the :unknown in Certify and ConvDual to :violated

912 of 1034 relevant lines covered (88.2%)

41.44 hits per line

Source Files on job 285.6