2
61%
master: 61%

Ran 19 Aug 2022 01:00PM UTC

Files 44

Run time 2s

Badge

Embed ▾

Committed 19 Aug 2022 12:59PM UTC coverage: 60.424% (-0.02%) from 60.441%

Job # OCAML_VERSION=4.11.2

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

feat(checker): `Callgraph` module (#1144)

This commit introduces a simple callgraph module. It could be dumped
in the `dot` format using `-dump-callgraph` CLI argument for
`scilla-checker`.

We sort nodes by type before dumping .dot and save locations of all nodes.
We could reuse it in later analyses.

Coverage Stats

4304 of 7123 relevant lines covered (60.42%)

13194.77 hits per line

Zilliqa / scilla / 3045 / 2
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3045.2 (OCAML_VERSION=4.11.2)

Zilliqa / scilla / 3045 / 2 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3045.2 (OCAML_VERSION=4.11.2)

Zilliqa / scilla / 3045 / 2
61%
master: 61%

README BADGES
x