5
61%
master: 61%

Ran 30 Jun 2021 06:17PM UTC

Files 44

Run time 6s

Badge

Committed 30 Jun 2021 06:09PM UTC coverage: 60.258% (-0.05%) from 60.311%

Build Type

push

travis-ci-com

Committed by

Commit Message

Scilla-to-OCaml transpiler support (#1028)

* Support parsing expressions from stdin

* Add Uint256.to_uintX functions

Run Details

4150 of 6887 relevant lines covered (60.26%)

14914.89 hits per line