1509
66%

Ran 09 Oct 2020 08:58PM UTC

Jobs 2

Files 469

Run time 19min

Badge

Committed 09 Oct 2020 08:45PM UTC coverage: 65.156% (+0.03%) from 65.125%

Build # 1509

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #288 from aman-goel/quantifiers

Progress and fixes for quantifiers

Run Details

75185 of 115393 relevant lines covered (65.16%)

1428202.56 hits per line

ID	Job ID	Ran	Files	Coverage
5	1509.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	09 Oct 2020 08:58PM UTC	469	65.16	Travis Job 1509.5
10	1509.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	09 Oct 2020 09:12PM UTC	0	0.0	Travis Job 1509.10