bannsec / pySym
84%
master: 85%

LAST BUILD BRANCH: dev
DEFAULT BRANCH: master
Repo Added
Files 63
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 bkpctf_crc
branch: bkpctf_crc
CHANGE BRANCH
x

#49

push

travis-ci

bannsec 
A little clean-up

3303 of 3916 relevant lines covered (84.35%)

0.84 hits per line

Relevant lines Covered
3916 RELEVANT LINES 3303 COVERED LINES
0.84 HITS PER LINE
Source Files on bkpctf_crc

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#49 bkpctf_crc A little clean-up push bannsec travis-ci pending completion  
#48 bkpctf_crc Ticking pySym version push bannsec travis-ci pending completion  
#47 bkpctf_crc Tweaking to allow pypy to run push bannsec travis-ci pending completion  
#46 bkpctf_crc Updating z3 push bannsec travis-ci pending completion  
#45 bkpctf_crc Updating __slots__ push bannsec travis-ci pending completion  
#44 bkpctf_crc Adding slots to Real push bannsec travis-ci pending completion  
#43 bkpctf_crc Updating any_n_int to not state copy (performance++) push bannsec travis-ci pending completion  
#42 bkpctf_crc Implementing extra_constraints for isSat push bannsec travis-ci pending completion  
#41 bkpctf_crc Note push bannsec travis-ci pending completion  
#40 bkpctf_crc Implementing local lookup for vars in solver push bannsec travis-ci pending completion  
See All Builds (55)