43
87%

Ran 28 Jan 2019 02:50AM UTC

Jobs 2

Files 26

Run time 46s

Badge

Build # 43

Build Type

push

travis-ci

Committed by

Commit Message

re #27, Reluplex now takes in an optional solver and has one by default

Run Details

791 of 1046 relevant lines covered (75.62%)

47.68 hits per line

ID	Job ID	Ran	Files	Coverage
3	43.3	28 Jan 2019 02:51AM UTC	26	57.65	Travis Job 43.3
4	43.4	28 Jan 2019 02:50AM UTC	26	75.62	Travis Job 43.4