2869
61%

Ran 27 Jan 2022 10:37AM UTC

Jobs 2

Files 44

Run time 17s

Badge

Build # 2869

Build Type

push

travis-ci-com

Committed by

Commit Message

Improve error messages for invalid map keys (#1065)

This is uncovered by scilla-chick

Run Details

4194 of 6997 relevant lines covered (59.94%)

26462.59 hits per line

ID	Job ID	Ran	Files	Coverage
1	2869.1 (OCAML_VERSION=4.12.0)	27 Jan 2022 10:37AM UTC	44	59.94	Travis Job 2869.1
2	2869.2 (OCAML_VERSION=4.11.1)	27 Jan 2022 10:37AM UTC	44	59.94	Travis Job 2869.2