dreal / dreal
63%
master: 57%

LAST BUILD BRANCH: 2.15.01
DEFAULT BRANCH: master
Repo Added
Files 21
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

55

push

travis-ci

soonhokong 
fix(tools/basic): separate each module out of big type file

973 of 1549 relevant lines covered (62.81%)

948309.09 hits per line

Relevant lines Covered
1549 RELEVANT LINES 973 COVERED LINES
948309.09 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
55 stable fix(tools/basic): separate each module out of big type file push soonhokong travis-ci pending completion  
52 stable fix(opensmt/smtsolvers/SMTConfig): fix nra_json_out_name push soonhokong travis-ci pending completion  
50 stable fix(main): cmd-line parsing - move cmd-line parsing from SMTConfig to main. - run gflags first, update argc and argv. Then call SMTConfig with the updated ones. - check whether a given file exists or not. This closes dreal/dreal#39 push soonhokong travis-ci pending completion  
48 stable fix(CMakeLists.txt): print EGLIBC message only in Linux push soonhokong travis-ci pending completion  
34 stable fix(realpaver/rp_projection): fix rp_project_sin_fst and rp_project_tan_fst closes #36. push soonhokong travis-ci pending completion  
See All Builds (105)