soonhokong
/
dreal
74%
master: 75%
master: 75%
|
Repo Added
|
Files
115
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH stable
push
travis-ci
2714 of 3657 relevant lines covered (74.21%)
20042248.51 hits per line
Relevant lines Covered
3657
RELEVANT LINES
2714
COVERED LINES
20042248.51
HITS PER LINE
Source Files on stable
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 160 | stable | doc: use https; add opam install oasis | push |  soonhokong |
travis-ci | pending completion | |
| 105 | stable | fix(dsolvers/ode_solver): handle a corner case where m_ode_list/m_var_list is empty Closes #2 | push | soonhokong |
travis-ci | pending completion | |
| 103 | stable | chore(tools/ODE_visualization): use data.json by default | push | soonhokong |
travis-ci | pending completion | |
| 101 | stable | fix(dsolvers/icp_solver): clean up debugging messages | push | soonhokong |
travis-ci | pending completion | |
| 89 | stable | feat(non_uniform_delta): Barn Door experiments for memo cleanup of plotting and testing scripts cleanup testing files | push |  danbryce |
travis-ci | pending completion | |
| 82 | stable | feat(opensmt): output model for SAT case when --proof is enabled | push | soonhokong |
travis-ci | pending completion |