Ran
|
Jobs
9
|
Files
56
|
Run time
32min
|
Badge
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
66.67 |
-13.33% | src/NeuralVerification.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
66.67 |
-13.33% | src\NeuralVerification.jl |
11 |
71.05 |
-28.95% | src/satisfiability/reluplex.jl |
11 |
71.05 |
-28.95% | src\satisfiability\reluplex.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 286.1 | 28 |
83.51 |
Travis Job 286.1 | |
2 | 286.2 | 28 |
87.07 |
Travis Job 286.2 | |
3 | 286.3 | 28 |
87.07 |
Travis Job 286.3 | |
4 | 286.4 | 28 |
83.51 |
Travis Job 286.4 | |
5 | 286.5 | 28 |
87.07 |
Travis Job 286.5 | |
6 | 286.6 | 28 |
87.07 |
Travis Job 286.6 | |
7 | 286.7 | 28 |
83.51 |
Travis Job 286.7 | |
8 | 286.8 | 28 |
87.07 |
Travis Job 286.8 | |
9 | 286.9 | 28 |
87.07 |
Travis Job 286.9 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|