Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
93 | unsat-core | ... | push | dddejan | travis-ci | pending completion | |
92 | unsat-core | playing | push | dddejan | travis-ci | pending completion | |
91 | unsat-core | fixing stupid bug | push | dddejan | travis-ci | pending completion | |
90 | unsat-core | some options | push | dddejan | travis-ci | pending completion | |
89 | unsat-core | fixing failing test: initial states on by default | push | dddejan | travis-ci | pending completion | |
87 | unsat-core | sync | push | dddejan | travis-ci | pending completion | |
86 | unsat-core | sync | push | dddejan | travis-ci | pending completion | |
85 | unsat-core | still wrong on benchmarks/oral_messages/om1_with_relays_agreement_two_faults.mcmt | push | dddejan | travis-ci | pending completion | |
84 | unsat-core | ... | push | dddejan | travis-ci | pending completion | |
83 | unsat-core | ... | push | dddejan | travis-ci | pending completion |