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

DEFAULT BRANCH: master
Ran
Files 26
Run time 3s
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: 69.697%. Remained the same
25.6

push

travis-ci

clazarus 
fixing Reluplex output docstring, currently only supports hyperrectangles

736 of 1056 relevant lines covered (69.7%)

6.95 hits per line

Source Files on job 25.6