1106
65%

Ran 06 Mar 2020 03:16PM UTC

Jobs 2

Files 442

Run time 13min

Badge

Committed 06 Mar 2020 03:08PM UTC coverage: 62.499% (-0.004%) from 62.503%

Build # 1106

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] basic interrupt frame

Run Details

68100 of 108962 relevant lines covered (62.5%)

1389125.24 hits per line

ID	Job ID	Ran	Files	Coverage
5	1106.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	06 Mar 2020 03:16PM UTC	0	62.5	Travis Job 1106.5
10	1106.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	06 Mar 2020 03:26PM UTC	0		Travis Job 1106.10

Detailed source file information is not available for this build.