Zilliqa / scilla / 2050 / 3
61%
master: 61%

DEFAULT BRANCH: master
Ran
Files 49
Run time 4s
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
coverage: 75.1% (-0.05%) from 75.145%
OCAML_VERSION=4.07.1

push

travis-ci-com

web-flow 
Add Scilla execution server (#738)

* Add initial scilla-server project structure

* Implement basic client/server + CLI

* Minor fixes (send_delimited)

* Finish with the basic server implementation

* Fix merge errors

* Add missing calls to DataTypeDictionary.reinit

* Revert DebugMessage module (remove calls to flash)

* Add more detailed logging to Runner

* Always enable JSON errors for scilla-server

* Use ptrace function for client trace messages

* Add new FatalError exception to the ErrorUtils module

* Raise FatalError exn in PrettyPrinters instead of calling (exit 1)

Update executables to catch this exception and call (exit 1).
This change is needed for the scilla-server RPC handlers.
Without this change, any error will end the scilla-server process.

* Implement error handling in the "runner" RPC handler

Also:
* Extract CacheItem to a separate module
* Use DebugMessage.ptrace for logging requests
* Add response logging

* Rename JSON-RPC method: exec -> runner

* Add "state" and "output" params to the "runner" query argv

* Revert all whitespace related changes

* Revert the rest of whitespace changes

* Put back accidentally deleted lines

* Revert DebugMessage.ml

* Update query arguments to match the spec in design doc

* Make -gaslimit and -balance strings instead of integers

* Remove LRU cache related files/changes

* Update scilla.opam

* Update src/runners/scilla_checker.ml

Co-Authored-By: Vaivaswatha N <vaivaswatha@users.noreply.github.com>

* Update src/server/lib/server.ml

Co-Authored-By: Vaivaswatha N <vaivaswatha@users.noreply.github.com>

* Update tests/base/parser/Parser_dummy.ml

Co-Authored-By: Vaivaswatha N <vaivaswatha@users.noreply.github.com>

* Update src/runners/type_checker.ml

Co-Authored-By: Vaivaswatha N <vaivaswatha@users.noreply.github.com>

* Fix merging issues

* Use mkdir_p from Core instead, remove mkdir_rec fn

* Extract send_d... (continued)

5628 of 7494 relevant lines covered (75.1%)

36377.56 hits per line

Source Files on job 2050.3 (OCAML_VERSION=4.07.1)