1
89%
master: 89%

Ran 22 Jun 2017 03:19AM UTC

Files 59

Run time 3s

Badge

Embed ▾

Committed 22 Jun 2017 03:07AM UTC coverage: 89.761% (-0.8%) from 90.558%

Job # 102.1

Build Type

push

travis-ci

Committed by

calincru

Commit Message

* Use tabs in the output file of the format translation script
* In the Main app, when running driver, create the object separately,
then get the constructed iptRouter to have access to its input/output
ports, etc.
* Create a 'Statistics' section in the Main app to show various
statistics of the last symbolic execution.
* In the rule parser, use flatMap instead of map followed by '.flatten'
* Various comment rephrasing
* Add the 'Unset' connection state to avoid starting in the state 'New'.
The state 'New' is transitioned to when a device sees a packet for the
first time.  We model that with the state 'Unset'.  It is also the
default state in the initial packet -- we shouldn't probably use
SymbolicValue() with the connection state.
* When implicitly rewriting the NAT reply packet, let it traverse the
chain anyway.  That is where the --ctstate SNAT/DNAT could match. (as
per my current understanding; I might be wrong)

Run Details

1052 of 1172 relevant lines covered (89.76%)

0.9 hits per line

calincru / iptables-sefl / 102 / 1
89%
master: 89%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 102.1

calincru / iptables-sefl / 102 / 1 89% master: 89%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 102.1

calincru / iptables-sefl / 102 / 1
89%
master: 89%

README BADGES
x