513
76%

Ran 15 Nov 2013 08:50PM UTC

Jobs 1

Files 185

Run time –

Badge

Embed ▾

pending completion

Build # 513

Build Type

push

travis-ci

Committed by

leodemoura

Commit Message

feat(library/script_evaluator): add abstract class that exposes only the API needed by frontend objects

The main motivation is to break the remove the dependency frontends/lean <-- bindings/lua.
This dependency is undesirable because we want to expose the frontends/lean parser and pretty printer objects at bindings/lua.

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

Run Details

13550 of 15114 relevant lines covered (89.65%)

204018.53 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	513.1 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_BUILD_TYPE=Debug TESTCOV=ON PUSH_TO_CDASH=TRUE TCMALLOC=OFF)	15 Nov 2013 08:49PM UTC	185	89.65	Travis Job 513.1

Source Files on build 513

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

soonhokong / lean / 513
76%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 513

soonhokong / lean / 513 76%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 513

soonhokong / lean / 513
76%

README BADGES
x