sisl / NeuralVerification.jl / 340
87%

DEFAULT BRANCH: master
Ran
Jobs 15
Files 58
Run time 55min
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
340

push

travis-ci

web-flow 
Merge pull request #125 from SebastianGuadalupe/master

Add Ai2z solver. 
Closes #87! Thanks @SebastianGuadalupe and @mforets

1868 of 2128 relevant lines covered (87.78%)

315.94 hits per line

Jobs
ID Job ID Ran Files Coverage
1 340.1 0
87.31
 Travis Job 340.1
2 340.2 0
87.31
 Travis Job 340.2
3 340.3 0
87.31
 Travis Job 340.3
4 340.4 0
86.83
 Travis Job 340.4
5 340.5 0
87.31
 Travis Job 340.5
6 340.6 0
87.31
 Travis Job 340.6
7 340.7 0
87.31
 Travis Job 340.7
8 340.8 0
86.83
 Travis Job 340.8
9 340.9 0
87.31
 Travis Job 340.9
10 340.10 0
87.31
 Travis Job 340.10
11 340.11 0
87.31
 Travis Job 340.11
12 340.12 0
86.83
 Travis Job 340.12
14 340.14 0
87.31
 Travis Job 340.14
17 340.17 0
87.31
 Travis Job 340.17
20 340.20 0
87.31
 Travis Job 340.20
Source Files on build 340
Detailed source file information is not available for this build.