1441
61%

Ran 09 Jul 2019 10:42PM UTC

Jobs 2

Files 41

Run time 9s

Badge

Embed ▾

pending completion

Build # 1441

Build Type

push

travis-ci-com

Committed by

anton-trunov

Commit Message

Updated Bookstore example (#601)

* feat(bookstore): changed member to custom ADT

* feat(bookstore): changed events to procedures

* feat(bookstore): add status code to events and fixed test cases

* feat(bookstore): introduced new transitions to open/close bookstore

* feat(bookstore): check if store is open before making state changes

* test(bookstore): added test for store open/close

Co-Authored-By: Anton Trunov <anton@zilliqa.com>

Run Details

5477 of 6718 relevant lines covered (81.53%)

17457.14 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1441.1 (OCAML_VERSION=4.07.1)	09 Jul 2019 10:42PM UTC	0	81.53	Travis Job 1441.1
2	1441.2 (OCAML_VERSION=4.06.1)	09 Jul 2019 10:42PM UTC	0	81.53	Travis Job 1441.2

Source Files on build 1441

Detailed source file information is not available for this build.

Zilliqa / scilla / 1441
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1441

Zilliqa / scilla / 1441 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1441

Zilliqa / scilla / 1441
61%

README BADGES
x