SRI-CSL / sally
64%
master: 36%

LAST BUILD BRANCH: nra
DEFAULT BRANCH: master
Repo Added
Files 1902
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 aiger
branch: aiger
CHANGE BRANCH
x

175

push

travis-ci

dddejan 
some term creation simplification + mathsat enabling eq interpolation

8187 of 12721 relevant lines covered (64.36%)

16370.23 hits per line

Relevant lines Covered
12721 RELEVANT LINES 8187 COVERED LINES
16370.23 HITS PER LINE
Source Files on aiger
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
175 aiger some term creation simplification + mathsat enabling eq interpolation push dddejan travis-ci pending completion  
163 aiger shift deadlock option push dddejan travis-ci pending completion  
161 aiger compile fix push dddejan travis-ci pending completion  
160 aiger fixing merge poop push dddejan travis-ci pending completion  
147 aiger use lets in smt2 tracing push dddejan travis-ci pending completion  
145 aiger fixing stupidity in yices translation (add, mul) push dddejan travis-ci pending completion  
144 aiger missing product push dddejan travis-ci pending completion  
143 aiger reallocation issue push dddejan travis-ci pending completion  
142 aiger binary for and too push dddejan travis-ci pending completion  
141 aiger blah push dddejan travis-ci pending completion  
See All Builds (587)