1622
65%
master: 66%

Ran 01 Jun 2021 11:32PM UTC

Jobs 2

Files 470

Run time 13min

Badge

Committed 01 Jun 2021 11:17PM UTC coverage: 65.262%. First build

Build # 1622

Build Type

push

travis-ci

Committed by

Commit Message

New branch: change error codes (NO_ERROR becomes NO_YICES_ERROR).

This breaks backward compatibility.

Run Details

10 of 10 new or added lines in 4 files covered. (100.0%)

75990 of 116439 relevant lines covered (65.26%)

1532387.7 hits per line

Lines	Coverage	∆	File
1	27.15		src/api/yices_api.c
1	49.32		src/frontend/yices/yices_parser.c

ID	Job ID	Ran	Files	Coverage
5	1622.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	01 Jun 2021 11:32PM UTC	470	65.26	Travis Job 1622.5
10	1622.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	01 Jun 2021 11:45PM UTC	0	0.0	Travis Job 1622.10