1378
61%

Ran 11 Jun 2019 05:17PM UTC

Jobs 2

Files 41

Run time 1min

Badge

Embed ▾

pending completion

Build # 1378

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Decouple state accesses from Eval (#571)

* Decouple state accesses from Eval

Setup an outline for IPC based state accesses that can
fetch and update state variables on demand, each time fetching
and accessing only those parts of the state that is required.
The IPC part is, of course, not implemented yet. However this this
change, implementing IPC state access should no more involve modifications
to Eval or any part of Scilla except for the newly added StateService module.

Fixes #569

Run Details

5414 of 6643 relevant lines covered (81.5%)

17147.06 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1378.1 (OCAML_VERSION=4.06.1)	11 Jun 2019 05:17PM UTC	0	81.5	Travis Job 1378.1
2	1378.2 (OCAML_VERSION=4.07.1)	11 Jun 2019 05:19PM UTC	0	81.5	Travis Job 1378.2

Source Files on build 1378

Detailed source file information is not available for this build.

Zilliqa / scilla / 1378
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1378

Zilliqa / scilla / 1378 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1378

Zilliqa / scilla / 1378
61%

README BADGES
x