mAarnos / Serkr
96%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Repo Added
Files 47
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 formula-renaming
branch: formula-renaming
CHANGE BRANCH
x

78

push

travis-ci

mAarnos 
Added a cmd line option for renaming limit

2764 of 2886 relevant lines covered (95.77%)

5.01 hits per line

Relevant lines Covered
2886 RELEVANT LINES 2764 COVERED LINES
5.01 HITS PER LINE
Source Files on formula-renaming
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
78 formula-renaming Added a cmd line option for renaming limit push mAarnos travis-ci pending completion  
77 formula-renaming Fixed bugs in the parser and analyzing script Comments were incorrectly removed, and predicates named include were not allowed. We still don't allow include(X) or anything like that though. push mAarnos travis-ci pending completion  
76 formula-renaming Introduction of formula renaming Probably has some bugs. Also ran rustfmt etc. push mAarnos travis-ci pending completion  
75 formula-renaming Fixed a typo which causes test failure. push mAarnos travis-ci pending completion  
74 formula-renaming Fixed the nondeterministic tests in simplify push mAarnos travis-ci pending completion  
72 formula-renaming Improved encapsulation for RenamingInfo push mAarnos travis-ci pending completion  
See All Builds (56)