3
61%
master: 61%

Ran 04 Feb 2020 05:49PM UTC

Files 46

Run time 7s

Badge

Embed ▾

Committed 04 Feb 2020 05:43PM UTC coverage: 74.855% (+0.07%) from 74.79%

Job # OCAML_VERSION=4.07.1

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

5540 of 7401 relevant lines covered (74.85%)

36500.91 hits per line

Zilliqa / scilla / 2001 / 3
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2001.3 (OCAML_VERSION=4.07.1)

Zilliqa / scilla / 2001 / 3 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2001.3 (OCAML_VERSION=4.07.1)

Zilliqa / scilla / 2001 / 3
61%
master: 61%

README BADGES
x