1077
85%

Ran 16 May 2014 10:39PM UTC

Jobs 2

Files 220

Run time 743538min

Badge

Embed ▾

pending completion

Build # 1077

Build Type

push

travis-ci

Committed by

leodemoura

Commit Message

test(lua): add test simulating HoTT compatible environment

   Type.{0} is predicative
   Type.{0} is proof relevant
   Id       is proof irrelevant
   Path     is proof relevant

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

Run Details

13170 of 15729 relevant lines covered (83.73%)

122991.32 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1077.1 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_BUILD_TYPE=Debug TESTCOV=ON PUSH_TO_CDASH=TRUE TCMALLOC=OFF LUA=52)	16 May 2014 10:39PM UTC	151	85.45	Travis Job 1077.1
8	1077.8 (CMAKE_CXX_COMPILER=clang++-3.3 CMAKE_BUILD_TYPE=RELEASE TCMALLOC=OFF PUSH_TO_CDASH=TRUE LUA=52)	15 Oct 2015 06:58AM UTC	69	79.02	Travis Job 1077.8

Source Files on build 1077

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

leanprover / lean / 1077
85%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1077

leanprover / lean / 1077 85%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1077

leanprover / lean / 1077
85%

README BADGES
x