949
76%

Ran 04 Feb 2014 10:15AM UTC

Jobs 1

Files 231

Run time –

Badge

Build # 949

Build Type

push

travis-ci

Committed by

Commit Message

feat(builtin): simulate subtypes using sigma types

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

Run Details

21067 of 22875 relevant lines covered (92.1%)

697783.72 hits per line

ID	Job ID	Ran	Files	Coverage
1	949.1 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_BUILD_TYPE=Debug TESTCOV=ON PUSH_TO_CDASH=TRUE TCMALLOC=OFF LUA=52)	04 Feb 2014 10:15AM UTC	231	92.1	Travis Job 949.1

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line