4
96%
master: 100%

Ran 12 Oct 2016 01:19PM UTC

Files 12

Run time 1s

Badge

Embed ▾

Committed 12 Oct 2016 12:53PM UTC coverage: 95.648% (+1.0%) from 94.695%

Job # COVERAGE=1

Build Type

push

travis-ci

Committed by

hknutzen

Commit Message

Subnet relation must remain stable after NAT.

Networks in same zone must have stable subnet relation over all
NAT domains. If networks are in relation at one NAT domain, they
must also be in relation in all other domains.
This property is needed, because redundant rules are deleted
and redundancy is derived from subnet relation.

Run Details

9539 of 9973 relevant lines covered (95.65%)

538.12 hits per line

hknutzen / Netspoc / 45 / 4
96%
master: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 45.4 (COVERAGE=1)

hknutzen / Netspoc / 45 / 4 96% master: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 45.4 (COVERAGE=1)

hknutzen / Netspoc / 45 / 4
96%
master: 100%

README BADGES
x