2232
61%

Ran 01 May 2020 01:45AM UTC

Jobs 3

Files 40

Run time 11s

Badge

Embed ▾

pending completion

Build # 2232

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Parameterising identifier names (#826)

* Use FlattenedLiteral module

* Update src/base/ScillaParser.mly

Co-Authored-By: Anton Trunov <anton@zilliqa.com>

* Update src/base/Type.ml

Co-Authored-By: Anton Trunov <anton@zilliqa.com>

* Update src/base/Literal.ml

Co-Authored-By: Anton Trunov <anton@zilliqa.com>

* Update src/base/Literal.ml

Co-Authored-By: Anton Trunov <anton@zilliqa.com>

* Rename equal_id and compare_id

* Rename asId and asIdL

* Make Ident private, and use mk_id and mk_loc_id to construct them instead

* fmt

Co-authored-by: Anton Trunov <anton@zilliqa.com>

Run Details

2639 of 4952 relevant lines covered (53.29%)

40183.22 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2232.1 (OCAML_VERSION=4.09.1)	01 May 2020 01:45AM UTC	55.59	Travis Job 2232.1
2	2232.2 (OCAML_VERSION=4.08.1)	01 May 2020 01:45AM UTC	55.59	Travis Job 2232.2
3	2232.3 (OCAML_VERSION=4.07.1)	01 May 2020 01:45AM UTC	55.59	Travis Job 2232.3

Source Files on build 2232

Detailed source file information is not available for this build.

Zilliqa / scilla / 2232
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2232

Zilliqa / scilla / 2232 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2232

Zilliqa / scilla / 2232
61%

README BADGES
x