970
66%

Ran 17 Sep 2019 04:23PM UTC

Jobs 1

Files 411

Run time 33s

Badge

Build # 970

Build Type

push

travis-ci

Committed by

Commit Message

Small changes + another check for trivial sat

Run Details

9 of 9 new or added lines in 3 files covered. (100.0%)

61219 of 99537 relevant lines covered (61.5%)

1194719.26 hits per line

Lines	Coverage	∆	File
1	70.57	0.0%	src/context/context_solver.c

ID	Job ID	Ran	Files	Coverage
1	970.1	17 Sep 2019 04:23PM UTC	411	61.5	Travis Job 970.1