leanprover / lean / 645
85%

DEFAULT BRANCH: master
Ran
Jobs 2
Files 320
Run time 8min
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
645

push

travis-ci

Leonardo de Moura 
fix(frontends/lean): check wheter the synthesized proof term has metavars or not

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

3433 of 9563 relevant lines covered (35.9%)

1.35 hits per line

Jobs
ID Job ID Ran Files Coverage
9 645.9 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_BUILD_TYPE=RELEASE TCMALLOC=OFF UPLOAD=linux PUSH_TO_CDASH=TRUE) 320
35.9
 Travis Job 645.9
11 645.11 (CMAKE_CXX_COMPILER=clang++-3.3 CMAKE_BUILD_TYPE=DEBUG TCMALLOC=OFF MEMCHECK=TRUE MEMCHECK_RANGE=40,80 PUSH_TO_CDASH=TRUE) 0
Travis Job 645.11
Source Files on build 645
Coverage ∆ File Lines Relevant Covered Missed Hits/Line