2020
61%

Ran 08 Feb 2020 09:22AM UTC

Jobs 3

Files 46

Run time 11s

Badge

Embed ▾

pending completion

Build # 2020

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Refactor the project to not rely on hard-coded paths (#768)

* Make Scilla runners available globally

This improves compositionality of the project and allows for easier blackbox testing.

* Make stdlib files installable

* scilla-mode: split scilla-root into 3 paths

This is a workaround until Scilla checkers/runners know where to look for the standard library

* Small refactoring in RunnerUtil

This refactoring used to fix Not_found exception on files lacking extensions
This happened when testing: Dune copies the whole src/stdlib directory
together with its `dune` file.
But after merging the PR forbidding polymorphic comparisons this error goes away

* Install runners only when running tests

* Separate out the install Makefile target

* Add symlink to binaries on dev builds

* Rename Makefile target all to release

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

Run Details

5587 of 7435 relevant lines covered (75.14%)

109975.51 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2020.1 (OCAML_VERSION=4.09.0)	08 Feb 2020 09:22AM UTC	75.14	Travis Job 2020.1
2	2020.2 (OCAML_VERSION=4.08.1)	08 Feb 2020 09:22AM UTC	75.14	Travis Job 2020.2
3	2020.3 (OCAML_VERSION=4.07.1)	08 Feb 2020 09:22AM UTC	75.14	Travis Job 2020.3

Source Files on build 2020

Detailed source file information is not available for this build.

Zilliqa / scilla / 2020
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2020

Zilliqa / scilla / 2020 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2020

Zilliqa / scilla / 2020
61%

README BADGES
x