Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
7879 of 11783 relevant lines covered (66.87%)
13002.42 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
159 | z3 | fixes, interpolation seems to be working | push | dddejan | travis-ci | pending completion | |
158 | z3 | progress | push | dddejan | travis-ci | pending completion | |
157 | z3 | frame for yices2 + z3 combination | push | dddejan | travis-ci | pending completion | |
155 | z3 | z3 models | push | dddejan | travis-ci | pending completion | |
154 | z3 | type push -> pop | push | dddejan | travis-ci | pending completion | |
153 | z3 | fixing up reference counting (bmc, kind working) | push | dddejan | travis-ci | pending completion | |
152 | z3 | initial z3 frame, compiles but doesn't work | push | dddejan | travis-ci | pending completion |