2202
85%

Ran 12 Jan 2015 05:35AM UTC

Jobs 2

Files 318

Run time 2min

Badge

Build # 2202

Build Type

push

travis-ci

Committed by

Commit Message

fix(frontends/lean/elaborator): compilation problem

Run Details

30516 of 34442 relevant lines covered (88.6%)

1634436.91 hits per line

ID	Job ID	Ran	Files	Coverage
1	2202.1 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_BUILD_TYPE=Debug TESTCOV=ON PUSH_TO_CDASH=TRUE TCMALLOC=OFF LUA=52 CONSERVE_MEMORY=ON)	12 Jan 2015 05:35AM UTC	318	88.6	Travis Job 2202.1
14	2202.14 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_BUILD_TYPE=DOXYGEN BUILD_DOXYGEN=TRUE TCMALLOC=OFF LUA=52 CONSERVE_MEMORY=ON)	02 Aug 2016 02:12PM UTC	10	100.0	Travis Job 2202.14

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line