2001
61%

Ran 04 Feb 2020 05:49PM UTC

Jobs 1

Files 46

Run time 8s

Badge

Embed ▾

pending completion

Build # 2001

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Track source location for ADT names and their constructors (#770)

* Modify Constructor to be an ident rather than a simple string

* make fmt

* Add location rep for ADT type as well

* make fmt

* Apply suggestions from code review

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

* make fmt

Co-authored-by: Anton Trunov <anton.a.trunov@gmail.com>

Run Details

80 of 80 new or added lines in 14 files covered. (100.0%)

5540 of 7401 relevant lines covered (74.85%)

36500.91 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
3	2001.3 (OCAML_VERSION=4.07.1)	04 Feb 2020 05:49PM UTC	0	74.85	Travis Job 2001.3

Source Files on build 2001

Detailed source file information is not available for this build.

Zilliqa / scilla / 2001
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2001

Zilliqa / scilla / 2001 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2001

Zilliqa / scilla / 2001
61%

README BADGES
x