|
Repo Added
|
Files
6
|
Badge
README BADGES
|
push
travis-ci
270 of 293 relevant lines covered (92.15%)
2020.83 hits per line
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 34 | master | Merge branch 'master' of github.com:musalbas/smt | push | travis-ci | pending completion | ||
| 33 | master | Fix typo | push | travis-ci | pending completion | ||
| 32 | master | Update README.md | push | travis-ci | pending completion | ||
| 31 | master | Update README.md | push | travis-ci | pending completion | ||
| 30 | master | Update README.md | push | travis-ci | pending completion | ||
| 29 | master | Add test for imported tree | push | travis-ci | pending completion | ||
| 28 | master | Merge branch 'master' of github.com:musalbas/smt | push | travis-ci | pending completion | ||
| 27 | master | Create LICENSE | push | travis-ci | pending completion | ||
| 25 | master | Update README.md | push | travis-ci | pending completion | ||
| 24 | master | More tests | push | travis-ci | pending completion |