Zilliqa / scilla / 2050
61%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 49
Run time 37s
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
2050

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

109132.68 hits per line

Jobs
ID Job ID Ran Files Coverage
1 2050.1 (OCAML_VERSION=4.09.0) 0
75.1
 Travis Job 2050.1
2 2050.2 (OCAML_VERSION=4.08.1) 0
75.1
 Travis Job 2050.2
3 2050.3 (OCAML_VERSION=4.07.1) 0
75.1
 Travis Job 2050.3
Source Files on build 2050
Detailed source file information is not available for this build.