Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
travis-ci
317 of 317 new or added lines in 10 files covered. (100.0%)
5995 of 14302 relevant lines covered (41.92%)
15436.16 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
523 | opensmt2 | fix test filtering | Pull #64 | web-flow | travis-ci | pending completion | |
522 | opensmt2 | fix test filtering | push | dddejan | travis-ci | pending completion | |
521 | opensmt2 | don't run tests if solvers not available | Pull #64 | web-flow | travis-ci | pending completion | |
517 | opensmt2 | fix the eclipse settings | Pull #64 | web-flow | travis-ci | pending completion | |
516 | opensmt2 | fix the eclipse settings | push | dddejan | travis-ci | pending completion | |
515 | opensmt2 | fiddle with travis | Pull #64 | web-flow | travis-ci | pending completion | |
514 | opensmt2 | fiddle with travis | push | dddejan | travis-ci | pending completion | |
511 | opensmt2 | Merge pull request #63 from blishko/osmt_iface Update to OpenSMT interface | push | web-flow | travis-ci | pending completion | |
500 | opensmt2 | Revert "trying official opensmt2" This reverts commit afc39c243. | push | dddejan | travis-ci | pending completion | |
489 | opensmt2 | styling | push | dddejan | travis-ci | pending completion |