102
89%

Ran 22 Jun 2017 03:19AM UTC

Jobs 1

Files 59

Run time 4s

Badge

Embed ▾

pending completion

Build # 102

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	102.1	22 Jun 2017 03:19AM UTC	0	89.76	Travis Job 102.1

Source Files on build 102

Detailed source file information is not available for this build.

calincru / iptables-sefl / 102
89%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 102

calincru / iptables-sefl / 102 89%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 102

calincru / iptables-sefl / 102
89%

README BADGES
x