RecordFlux icon indicating copy to clipboard operation
RecordFlux copied to clipboard

Published 20 hours ago • verified publisher icon AdaCore

Update ICMP spec

Open senier opened this issue 3 years ago • 0 comments

Currently examples/apps/ping/spec/icmp.rflx in RecordFlux contains a more recent version of ICMPv4.

This depends on Componolit/RecordFlux-specifications#45.

senier avatar Mar 11 '21 15:03 senier