1
61%
master: 61%

Ran 09 Jan 2020 08:15AM UTC

Files 46

Run time 2s

Badge

Embed ▾

Committed 09 Jan 2020 08:06AM UTC coverage: 74.466% (+0.003%) from 74.463%

Job # OCAML_VERSION=4.09.0

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Scilla runner refactoring + a small bug fix (#749)

* Make scilla-runner output to stdout when -o option is missing

Also, refactor scilla_runner.ml and cli.ml along the way.
This includes switching to Core_kernel

* Fix code that prevents an attempt to run a library

Run Details

5366 of 7206 relevant lines covered (74.47%)

47745.92 hits per line

Zilliqa / scilla / 1931 / 1
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1931.1 (OCAML_VERSION=4.09.0)

Zilliqa / scilla / 1931 / 1 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1931.1 (OCAML_VERSION=4.09.0)

Zilliqa / scilla / 1931 / 1
61%
master: 61%

README BADGES
x