231
44%
master: 34%

Ran 14 Dec 2017 12:13AM UTC

Jobs 1

Files 42

Run time 3s

Badge

Embed ▾

pending completion

Build # 231

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

0.2.1 (#32)

* FixedPoint/KSet bug fixed

* Redo memory joins, other miscellaneous touch ups.

* massive changes while tracking down soundness issues

* Make edges look nicer in graphs.

* Change the way translators work so resulting graphs are more representative of actual code.

* Use 0 when $zero register used as expression.

* removing array/variable from il, more soundness

* rename brc operation to branch

* update il docs

* Update changelog.

* Better logic for store_weak

* bump version

Run Details

2633 of 5962 relevant lines covered (44.16%)

0.49 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	231.1	14 Dec 2017 12:13AM UTC	0	44.16	Travis Job 231.1

Source Files on build 231

Detailed source file information is not available for this build.

falconre / falcon / 231
44%
master: 34%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 231

falconre / falcon / 231 44% master: 34%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 231

falconre / falcon / 231
44%
master: 34%

README BADGES
x