soonhokong / dreal
75%

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 master
branch: SELECT
CHANGE BRANCH
x

168

push

travis-ci

soonhokong 
feat(dsolvers): icp and nra solvers use util/interval

2730 of 3654 relevant lines covered (74.71%)

20072800.87 hits per line

Relevant lines Covered
3654 RELEVANT LINES 2730 COVERED LINES
20072800.87 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
168 master feat(dsolvers): icp and nra solvers use util/interval push soonhokong travis-ci pending completion  
166 master feat(realpaver): use util/interval in proof push soonhokong travis-ci pending completion  
165 master fix(ode_solver): polarity check for invariants was succeeeding for negative invarinants push soonhokong travis-ci pending completion  
164 master fix(dsolvers/ode_solver): clean up LOG msgs push soonhokong travis-ci pending completion  
163 master chore(cmake): update deps. for external projects push soonhokong travis-ci pending completion  
162 master chore(travis): use Release/Debug instead of RELEASE/DEBUG push soonhokong travis-ci pending completion  
160 stable doc: use https; add opam install oasis push soonhokong travis-ci pending completion  
156 master chore(travis): reduce timeout from 450 to 400 push soonhokong travis-ci pending completion  
150 master chore(travis): email to dreal-build@googlegroups push soonhokong travis-ci pending completion  
149 master chore(travis): update travis (Linux & OSX) - separate test coverage build - introduce CTEST variable to order ctest - reduce test timeout to 450s from 500s - re-introduce delta* testcases push soonhokong travis-ci pending completion  
See All Builds (52)