OpenReasoning
/
forseti
/
39
92%
|
Ran
|
Jobs
2
|
Files
10
|
Run time
6s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
MasterOdin9 of 9 new or added lines in 6 files covered. (100.0%)
0 of 856 relevant lines covered (0.0%)
0.0 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
100.0 |
forseti/converter.py | |
| 1 |
100.0 |
forseti/parser.py | |
| 1 |
100.0 |
forseti/parsers/functional_parser.py | |
| 1 |
100.0 |
forseti/util.py | |
| 2 |
100.0 |
forseti/formula.py | |
| 3 |
100.0 |
forseti/prover.py |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 39.1 | 0 |
0.0 |
Travis Job 39.1 | |
| 2 | 39.2 | 0 |
0.0 |
Travis Job 39.2 |
Source Files on build 39
Detailed source file information is not available for this build.