|
Ran
|
Jobs
4
|
Files
18
|
Run time
1min
|
Badge
README BADGES
|
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 94 |
100.0 |
src/liftedrep.jl | |
| 84 |
100.0 |
src/representation.jl | |
| 70 |
100.0 |
src/simplerep.jl | |
| 64 |
100.0 |
src/lphrep.jl | |
| 29 |
100.0 |
src/elements.jl | |
| 19 |
100.0 |
src/repop.jl | |
| 18 |
100.0 |
src/simplevrepsolver.jl | |
| 11 |
100.0 |
src/operations.jl | |
| 10 |
100.0 |
src/opt.jl | |
| 5 |
100.0 |
src/mycomp.jl | |
| 5 |
100.0 |
src/lpqp_to_polyhedra.jl | |
| 3 |
100.0 |
src/default.jl | |
| 1 |
100.0 |
src/Polyhedra.jl |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 92.1 | 0 |
1.54 |
Travis Job 92.1 | |
| 2 | 92.2 | 0 |
1.73 |
Travis Job 92.2 | |
| 3 | 92.3 | 0 |
1.54 |
Travis Job 92.3 | |
| 4 | 92.4 | 0 |
1.73 |
Travis Job 92.4 |