Repo Added
|
Files
486
|
Badge
README BADGES
|
push
github
0 of 2 new or added lines in 1 file covered. (0.0%)
97 existing lines in 1 file now uncovered.81222 of 124420 relevant lines covered (65.28%)
1429719.68 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
17444882622 | master | mcsat/tracing.c: missing default | push | github |
65.28 |
||
16339192434 | master | Update control | push | github |
65.33 |
||
16339171509 | master | Update changelog | push | github |
65.33 |
||
16337523445 | master | preparing 2.7.0 (#596) | push | github |
65.33 |
||
16336750460 | 2.7.0 | Merge 85cf17e44 into ffe11c684 | Pull #596 | github |
65.33 |
||
16328085483 | 2.7.0 | preparing 2.7.0 | push | github |
65.33 |
||
16307900500 | master | update doc about parallel yices2 | push | github |
65.33 |
||
16286939591 | update-cov | Merge 59cdb839f into 02f5f542c | Pull #594 | github |
65.33 |
||
16286750535 | update-cov | update cov test list | push | github |
65.33 |
||
16285952522 | master | yices2_parallel.py (#564) * Create yices2_mcsat_parallel.py * Update yices2_mcsat_parallel.py * Update yices2_mcsat_parallel.py * update portfolio * update portfolio * Update yices2_parallel.py * Update yices2_parallel.py | push | github |
65.33 |