soonhokong / dreal
74%
master: 75%

LAST BUILD BRANCH: stable
DEFAULT BRANCH: master
Repo Added
Files 115
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH stable
branch: stable
CHANGE BRANCH
x

160

push

travis-ci

soonhokong 
doc: use https; add opam install oasis

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
Detailed source file information is not available for this build.

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  
See All Builds (52)