Zilliqa / scilla / 1545
61%

DEFAULT BRANCH: master
Ran
Jobs 2
Files 44
Run time 15s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
1545

push

travis-ci-com

web-flow 
Efficient state accesses via IPC (#644)

* Basic skeleton

* Add protobuff files + client changes

* Add functions to (de)serialize protobuf values.

* Add ocaml-protoc and ppx_deriving_rpc dependencies to scilla.opam

* Do not output full state during deploying if is_ipc

* Fix bug in parsing JSON values.

* Handle exceptions thrown during JSON parsing and socket connection.

* Rename protobuf file so that auto-generated files don't need renaming

* Print field_depth_map in interpreter's deployment output

* Revert "Print field_depth_map in interpreter's deployment output"

* Fix minor bug in EvalUtil.ml : map_get

* scilla ipc tests (#623)

* Add basic server code

* Add json parsing code

* Add code for fetching

* Rename protobuff

* Add 'implementation' to IDL

* Implement update and fix most build errors

* Replace fail with jsonrpc error

* Replace code and messages

* Refactor + add license

* Integrate the mock server into the testuite, commented out.

* StateIPCTest: Do not update _balance to server

* Get the test IPC server (mostly) working.

The IPC tests themselves are still disabled in Testcontracts.ml.
There are two things to be done before these are enabled:
   a. Since the existing state.json is used to initialize the database
      of the mock server, it needs to be parsed. However, the state JSONs
      of contracts that use custom ADTs cannot be parsed without knowing
      the types (from the contract definition). It looks like I may have
      to first run the checker, note the custom ADTs and then parse the JSONs.
      The alternate is to make the parsing type agnostic (which is feasible
      since the IPC code doesn't care about types other than maps).
      This will however prevent a lot of code reuse (in particular,
      reusing the IPC client we have in the main code base for the testsuite).
   b. There are some issues with threading. The testsuite runs multiple... (continued)

5235 of 6972 relevant lines covered (75.09%)

101581.37 hits per line

Jobs
ID Job ID Ran Files Coverage
1 1545.1 (OCAML_VERSION=4.07.1) 0
75.09
 Travis Job 1545.1
2 1545.2 (OCAML_VERSION=4.06.1) 0
75.09
 Travis Job 1545.2
Source Files on build 1545
Detailed source file information is not available for this build.