2530
61%

Ran 19 Dec 2020 07:26AM UTC

Jobs 4

Files 43

Run time 44s

Badge

Embed ▾

pending completion

Build # 2530

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Only recursion check each library once (#916)

* Only recursion check each library once

* Library identity based on filenames rather than library names

* Keep track of all checked files to avoid rechecking dependencies

* Typechecker only checks each imported library once, and does not remove globally unique variable names from environment

* fmt

* Fix confusing type error message when variable has type A.T and B.T was expected

* Run scilla-checker on import-test-lib.scilla

* Improve import test A->B->C

* Added import test A->B->C->D, A->D

* Added nested import test A->B->D, A->C->D

* Negative tests of nested imports

* Updated gold files, and test constructor scope for nested imports

* fmt

Run Details

3370 of 6150 relevant lines covered (54.8%)

46492.13 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2530.1 (OCAML_VERSION=4.11.1)	19 Dec 2020 07:26AM UTC	54.8	Travis Job 2530.1
2	2530.2 (OCAML_VERSION=4.10.1)	19 Dec 2020 07:26AM UTC	54.8	Travis Job 2530.2
3	2530.3 (OCAML_VERSION=4.09.1)	19 Dec 2020 07:26AM UTC	54.8	Travis Job 2530.3
4	2530.4 (OCAML_VERSION=4.08.1)	19 Dec 2020 07:26AM UTC	54.8	Travis Job 2530.4

Source Files on build 2530

Detailed source file information is not available for this build.

Zilliqa / scilla / 2530
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2530

Zilliqa / scilla / 2530 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2530

Zilliqa / scilla / 2530
61%

README BADGES
x