2
61%
master: 61%

Ran 05 Nov 2019 02:13PM UTC

Files 45

Run time 3s

Badge

Embed ▾

Committed 05 Nov 2019 02:07PM UTC coverage: 75.423% (+0.1%) from 75.295%

Job # OCAML_VERSION=4.06.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Report type info for variables under a flag. Update the Emacs mode (#692)

* Print type-info under a new flag

* Add an outline to emacs mode for type reporting.

The main work of fetching from checker and interpreting
its output to report the type is still to be done.

* Minor typo in previous commit

* Fix location info for identifiers in the parser

* emacs mode: count columns from 1

* Add code to invoke checker executable

* More location information bugfixes to the parser

* emacs mode: make type reporting work

* emacs mode: Handle if the checker fails with an error

* testsuite updates due to location fixes in parser

* Describe keybinding for type reporting in README

* Add missing keywords

* fix space typo

Coverage Stats

5487 of 7275 relevant lines covered (75.42%)

50829.69 hits per line

Zilliqa / scilla / 1733 / 2
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1733.2 (OCAML_VERSION=4.06.1)

Zilliqa / scilla / 1733 / 2 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1733.2 (OCAML_VERSION=4.06.1)

Zilliqa / scilla / 1733 / 2
61%
master: 61%

README BADGES
x