1931
61%

Ran 09 Jan 2020 08:12AM UTC

Jobs 3

Files 46

Run time 2min

Badge

Embed ▾

pending completion

Build # 1931

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%)

143237.75 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	1931.1 (OCAML_VERSION=4.09.0)	09 Jan 2020 08:15AM UTC	74.47	Travis Job 1931.1
2	1931.2 (OCAML_VERSION=4.08.1)	09 Jan 2020 08:12AM UTC	74.47	Travis Job 1931.2
3	1931.3 (OCAML_VERSION=4.07.1)	09 Jan 2020 08:12AM UTC	74.47	Travis Job 1931.3

Source Files on build 1931

Detailed source file information is not available for this build.

Zilliqa / scilla / 1931
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1931

Zilliqa / scilla / 1931 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1931

Zilliqa / scilla / 1931
61%

README BADGES
x