Robin Senn

Coverage of specifications cannot reach 100%

1

With the current implementation of the validator, it is not possible to reach 100% coverage for some specifications. There are 3 cases that lead to this problem: 1. A specification...

Disjunction of outgoing edges to the same target not possible with optional fields

1

It is not possible to merge to outgoing edges to the same target field using a disjunction, if there is an optional field on path. Checking the example specification yields:...

IP options specification incomplete

2

There is no support for an option "x00" (which is a valid option "End of Option List" according to RFC 791 p. 16). This is used at the end of...

Update ICMP Spec with additions from RFC 1122/950

2

**[RFC 950](https://tools.ietf.org/html/rfc950#appendix-I)** - adds a new Message Type: Address Mask Request/Reply with Code 17,18 (p. 10) - [Wikipedia](https://en.wikipedia.org/wiki/Internet_Control_Message_Protocol#Address_mask_request) **[RFC 1122](https://tools.ietf.org/html/rfc1122)** Defines additional codes for: - ICMP Destination Unreachable (p. 39)...