Ran
|
Jobs
21
|
Files
22
|
Run time
20min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
495 of 495 new or added lines in 10 files covered. (100.0%)
150 of 1154 relevant lines covered (13.0%)
19087.14 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
0.0 |
0.0% | src/ADD_inverse.jl |
2 |
70.83 |
-0.6% | src/ADD.jl |
2 |
0.0 |
0.0% | src/ADD_negate.jl |
2 |
0.0 |
0.0% | src/ADD_walsh.jl |
3 |
0.0 |
0.0% | src/ADD_abs.jl |
3 |
0.0 |
0.0% | src/ADD_find.jl |
4 |
5.88 |
-5.23% | src/ADD_ITE.jl |
427 |
6.97 |
src/gen/libcudd_api.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
0.0 |
0.0% | src/ADD_inverse.jl |
2 |
0.0 |
0.0% | src\ADD_inverse.jl |
2 |
70.83 |
-0.6% | src/ADD.jl |
2 |
0.0 |
0.0% | src/ADD_negate.jl |
2 |
0.0 |
0.0% | src/ADD_walsh.jl |
3 |
0.0 |
0.0% | src/ADD_abs.jl |
3 |
0.0 |
0.0% | src/ADD_find.jl |
4 |
5.88 |
-5.23% | src/ADD_ITE.jl |
4 |
0.0 |
0.0% | src\ADD_negate.jl |
4 |
0.0 |
0.0% | src\ADD_walsh.jl |
6 |
0.0 |
0.0% | src\ADD_abs.jl |
6 |
0.0 |
0.0% | src\ADD_find.jl |
9 |
5.88 |
-5.23% | src\ADD_ITE.jl |
14 |
70.83 |
-0.6% | src\ADD.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 66.1 | 11 |
12.8 |
Travis Job 66.1 | |
2 | 66.2 | 11 |
13.45 |
Travis Job 66.2 | |
3 | 66.3 | 11 |
13.45 |
Travis Job 66.3 | |
4 | 66.4 | 11 |
13.57 |
Travis Job 66.4 | |
5 | 66.5 | 11 |
13.43 |
Travis Job 66.5 | |
6 | 66.6 | 11 |
13.43 |
Travis Job 66.6 | |
7 | 66.7 | 11 |
12.8 |
Travis Job 66.7 | |
8 | 66.8 | 11 |
13.45 |
Travis Job 66.8 | |
9 | 66.9 | 11 |
13.45 |
Travis Job 66.9 | |
10 | 66.10 | 11 |
13.57 |
Travis Job 66.10 | |
11 | 66.11 | 11 |
13.43 |
Travis Job 66.11 | |
12 | 66.12 | 11 |
13.43 |
Travis Job 66.12 | |
13 | 66.13 | 11 |
12.8 |
Travis Job 66.13 | |
14 | 66.14 | 11 |
13.45 |
Travis Job 66.14 | |
15 | 66.15 | 11 |
13.45 |
Travis Job 66.15 | |
16 | 66.16 | 11 |
13.57 |
Travis Job 66.16 | |
17 | 66.17 | 11 |
13.43 |
Travis Job 66.17 | |
18 | 66.18 | 11 |
13.43 |
Travis Job 66.18 | |
19 | 66.19 | 11 |
7.78 |
Travis Job 66.19 | |
20 | 66.20 | 11 |
7.78 |
Travis Job 66.20 | |
21 | 66.21 | 11 |
7.78 |
Travis Job 66.21 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|