3045
61%

Ran 19 Aug 2022 12:59PM UTC

Jobs 4

Files 44

Run time 3min

Badge

Embed ▾

pending completion

Build # 3045

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.

Run Details

2 of 2 new or added lines in 1 file covered. (100.0%)

4304 of 7123 relevant lines covered (60.42%)

52779.08 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	3045.1 (OCAML_VERSION=4.14.0)	19 Aug 2022 12:59PM UTC	60.42	Travis Job 3045.1
2	3045.2 (OCAML_VERSION=4.11.2)	19 Aug 2022 01:00PM UTC	60.42	Travis Job 3045.2
3	3045.3 (OCAML_VERSION=4.14.0)	19 Aug 2022 01:02PM UTC	60.42	Travis Job 3045.3
4	3045.4 (OCAML_VERSION=4.11.2)	19 Aug 2022 01:03PM UTC	60.42	Travis Job 3045.4

Source Files on build 3045

Detailed source file information is not available for this build.

Zilliqa / scilla / 3045
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 3045

Zilliqa / scilla / 3045 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 3045

Zilliqa / scilla / 3045
61%

README BADGES
x