2997
61%

Ran 28 Jul 2022 03:37PM UTC

Jobs 4

Files 44

Run time 3min

Badge

Embed ▾

pending completion

Build # 2997

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Hashing builtins check (#1128)

* Fix hashing collisions for messages with field permutation

It's not possible to completely fix hashing collisions for maps
and ADTs, because of backwards compatibility

* Add ARK contract to test hashes in mutable maps

* Warn if hashing builtins are used with ADTs, maps, messages

Run Details

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

4304 of 7122 relevant lines covered (60.43%)

52786.49 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2997.1 (OCAML_VERSION=4.14.0)	28 Jul 2022 03:38PM UTC	60.43	Travis Job 2997.1
2	2997.2 (OCAML_VERSION=4.11.2)	28 Jul 2022 03:37PM UTC	60.43	Travis Job 2997.2
3	2997.3 (OCAML_VERSION=4.14.0)	28 Jul 2022 03:39PM UTC	60.43	Travis Job 2997.3
4	2997.4 (OCAML_VERSION=4.11.2)	28 Jul 2022 03:39PM UTC	60.43	Travis Job 2997.4

Source Files on build 2997

Detailed source file information is not available for this build.

Zilliqa / scilla / 2997
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2997

Zilliqa / scilla / 2997 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2997

Zilliqa / scilla / 2997
61%

README BADGES
x