Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
8187 of 12721 relevant lines covered (64.36%)
16370.23 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
175 | aiger | some term creation simplification + mathsat enabling eq interpolation | push | dddejan | travis-ci | pending completion | |
163 | aiger | shift deadlock option | push | dddejan | travis-ci | pending completion | |
161 | aiger | compile fix | push | dddejan | travis-ci | pending completion | |
160 | aiger | fixing merge poop | push | dddejan | travis-ci | pending completion | |
147 | aiger | use lets in smt2 tracing | push | dddejan | travis-ci | pending completion | |
145 | aiger | fixing stupidity in yices translation (add, mul) | push | dddejan | travis-ci | pending completion | |
144 | aiger | missing product | push | dddejan | travis-ci | pending completion | |
143 | aiger | reallocation issue | push | dddejan | travis-ci | pending completion | |
142 | aiger | binary for and too | push | dddejan | travis-ci | pending completion | |
141 | aiger | blah | push | dddejan | travis-ci | pending completion |