1
44%
master: 34%

Ran 14 Dec 2017 12:13AM UTC

Files 42

Run time 2s

Badge

Embed ▾

Committed 12 Dec 2017 02:50AM UTC coverage: 44.163%. Remained the same

Job # 231.1

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

falconre / falcon / 231 / 1
44%
master: 34%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 231.1

falconre / falcon / 231 / 1 44% master: 34%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 231.1

falconre / falcon / 231 / 1
44%
master: 34%

README BADGES
x