1558
66%

Ran 08 Jan 2021 07:54PM UTC

Jobs 2

Files 470

Run time 35min

Badge

Committed 08 Jan 2021 06:56PM UTC coverage: 65.557%. Remained the same

Build # 1558

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #344 from nevilad/mingw_for_windows_build

Add support for cross compiling 32-bit windows version on linux with mingw

Run Details

75777 of 115589 relevant lines covered (65.56%)

1523142.97 hits per line

ID	Job ID	Ran	Files	Coverage
5	1558.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	08 Jan 2021 07:54PM UTC	470	65.56	Travis Job 1558.5
10	1558.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	08 Jan 2021 08:30PM UTC	0	0.0	Travis Job 1558.10