2855
61%

Ran 11 Jan 2022 03:03PM UTC

Jobs 5

Files 44

Run time 3min

Badge

Build # 2855

Build Type

push

travis-ci-com

Committed by

Commit Message

Add of_int functions for 256-bit arithmetic (#1062)

This is needed for the Scilla-Chick project

Run Details

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

4146 of 6923 relevant lines covered (59.89%)

66871.28 hits per line

Lines	Coverage	∆	File
2	56.78	-0.58%	src/base/Integer256.ml

ID	Job ID	Ran	Files	Coverage
1	2855.1 (OCAML_VERSION=4.12.0)	11 Jan 2022 03:05PM UTC	44	59.89	Travis Job 2855.1
2	2855.2 (OCAML_VERSION=4.11.1)	11 Jan 2022 03:04PM UTC	44	59.89	Travis Job 2855.2
3	2855.3 (OCAML_VERSION=4.10.1)	11 Jan 2022 03:04PM UTC	44	59.89	Travis Job 2855.3
4	2855.4 (OCAML_VERSION=4.09.1)	11 Jan 2022 03:04PM UTC	44	59.89	Travis Job 2855.4
5	2855.5 (OCAML_VERSION=4.08.1)	11 Jan 2022 03:03PM UTC	44	59.89	Travis Job 2855.5