3
61%
master: 61%

Ran 11 Dec 2019 08:53AM UTC

Files 46

Run time 3s

Badge

Embed ▾

Committed 11 Dec 2019 08:48AM UTC coverage: 74.345% (-0.8%) from 75.194%

Job # OCAML_VERSION=4.07.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Move files around (#736)

* src/lang/base -> src/base
   src/cpp -> src/base/cpp
   src/lang/{checkers,eval} -> src/

* Dismiss util library and move its only module to base

* Remove unused scilla_module_parse.ml

* Make ParserUtil part of Syntax

* More Core -> Core_kernel

* Separate scilla-base from the rest of Scilla

This commit _does not_ introduce scilla-base package yet.
It's a preliminary step towards this goal.

Polynomials can be factored out as a separate package, hence
it gets its own directory and a separate test suite.

This commit preserves the total number of tests so far -- 1790

Coverage Stats

5364 of 7215 relevant lines covered (74.35%)

47681.38 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1847.3 (OCAML_VERSION=4.07.1)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1847.3 (OCAML_VERSION=4.07.1)

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

README BADGES
x