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

DEFAULT BRANCH: master
Ran
Files 42
Run time 9s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 52.927%. Remained the same
OCAML_VERSION=4.10.1

push

travis-ci-com

web-flow 
<a href="https://github.com/Zilliqa/scilla/commit/<a class=hub.com/Zilliqa/scilla/commit/18f446be9f905584d9d2ef0498007925d5d74e6f">18f446be9<a href="https://github.com/Zilliqa/scilla/commit/18f446be9f905584d9d2ef0498007925d5d74e6f">&quot;&gt;Use DataTypeDictionary to keep track of ADTs in scope during recursion check (#911)

* Populate DataTypeDictionary as soon as imported library has been checked

* Revert &amp;quot;Populate DataTypeDictionary as soon as imported library has been checked&quot;

This reverts commit </a><a class="double-link" href="https://github.com/Zilliqa/scilla/commit/<a class="double-link" href="https://github.com/Zilliqa/scilla/commit/56c87dd13df9adc35a05e23f52d5f3e7eba44ee1">56c87dd13</a>">56c87dd13</a><a href="https://github.com/Zilliqa/scilla/commit/18f446be9f905584d9d2ef0498007925d5d74e6f">.

* Use DataTypeDictionary to keep track of ADTs in scope

* Remove erroneous transitive imports of types

* Revert previous commit, as it also removes locally defined ADTs

Co-authored-by: Vaivaswatha N <vaivaswatha@users.noreply.github.com>

2920 of 5517 relevant lines covered (52.93%)

8132.53 hits per line

Source Files on job 2479.2 (OCAML_VERSION=4.10.1)