361
66%

Ran 19 Sep 2018 08:24PM UTC

Jobs 1

Files 394

Run time 36s

Badge

Build # 361

Build Type

travis-ci

Committed by

Commit Message

Update gitignore

Remove tracking .directory and .settings files

Run Details

15 of 15 new or added lines in 1 file covered. (100.0%)

60685 of 91800 relevant lines covered (66.11%)

1213710.22 hits per line

Lines	Coverage	∆	File
13	77.01	-0.28%	src/solvers/cdcl/smt_core.c

ID	Job ID	Ran	Files	Coverage
1	361.1	19 Sep 2018 08:24PM UTC	394	66.11	Travis Job 361.1