1
61%
master: 61%

Ran 13 Apr 2020 12:26PM UTC

Files 41

Run time 10s

Badge

Embed ▾

Committed 13 Apr 2020 12:19PM UTC coverage: 55.987%. Remained the same

Job # OCAML_VERSION=4.09.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Provide a `make debug` target for debugging with ocamldebug (#816)

* Provide a `make debug` target for debugging with ocamldebug

OCaml bytecode executables are now built at
_build/default/src/runners/scilla_(runner|checker).bc.
These can be executed inside an ocamldebug session.

Fixes #639

* make fmt

* Modifications to Makefile. Print an example debug command

* Fix typo

* Add a subsection in README on debugging

Run Details

2927 of 5228 relevant lines covered (55.99%)

13864.01 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2143.1 (OCAML_VERSION=4.09.1)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2143.1 (OCAML_VERSION=4.09.1)

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

README BADGES
x