libcyphal icon indicating copy to clipboard operation
libcyphal copied to clipboard

Published 20 hours ago • verified publisher icon OpenCyphal-Garage

Consider using CBMC

Open thirtytwobits opened this issue 5 years ago • 0 comments

Look into https://www.cprover.org/cbmc/ and see if it would be a useful checker for libuavcan.

thirtytwobits avatar Jun 14 '19 19:06 thirtytwobits