223
85%

Ran 10 Oct 2018 01:30AM UTC

Jobs 1

Files 119

Run time 6s

Badge

Embed ▾

pending completion

Build # 223

Build Type

push

travis-ci

Committed by

leodemoura

Commit Message

Encapsulate context implementation. The current implementantion based on lists may be a performance problem in the future, and we should be able to change it without affecting the whole code base.

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

Run Details

1570 of 4795 relevant lines covered (32.74%)

0.33 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
10	223.10 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_BUILD_TYPE=RELEASE USE_TCMALLOC=FALSE DROPBOX=TRUE UPLOAD=linux)	10 Oct 2018 01:30AM UTC	119	32.74	Travis Job 223.10

leanprover / lean / 223
85%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 223

leanprover / lean / 223 85%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 223

leanprover / lean / 223
85%

README BADGES
x