Repo Added
|
Files
486
|
Badge
Embed ▾
README BADGES
|
push
github
3 of 3 new or added lines in 1 file covered. (100.0%)
49 existing lines in 2 files now uncovered.79958 of 121707 relevant lines covered (65.7%)
1517259.05 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
9641891367 | refs/tags/Yices-2.6.5 | Revert "make smtlib-model-format default for yices-smt2" This reverts commit 7320e76e6. | push | ahmed-irfan | github |
65.7 |