Test ran at 2025-07-17 12:54:31.562336+00:00

SOLUTION:
coap_spark=0.9.0: CoAP implementation formally verified with SPARK/Ada
Origin: commit 81401167ac44c9178de4e130b1bd83228d62a3d2 from https://github.com/mgrojo/coap_spark.git
Properties:
   Author: Manuel Gomez
   Build Switches: 
   Config set: wolfssl {STATIC_PSK := true}
   Configuration: no modifiers
   Description: CoAP implementation formally verified with SPARK/Ada
   License: Apache-2.0 OR GPL-2.0-or-later
   Long_Description: CoAP-SPARK is a library implementing the Constrained Application Protocol (CoAP)
as defined in
[RFC 7252](https://www.rfc-editor.org/rfc/rfc7252), developed in the SPARK 
language, the formally verified subset of the Ada programming language.

This version implements the client side of the protocol with some limitations:
- It does not support block-wise transfers.
- It does not support retransmission of messages.
- It only supports NoSec and PreSharedKey security modes.

See LICENSING for licensing information.

   Maintainer: Manuel Gomez <mgrojo@gmail.com>
   Maintainers_Logins: mgrojo
   Name: coap_spark
   Tag: spark
   Tag: coap
   Tag: iot
   Tag: protocol
   Version: 0.9.0
   Website: https://github.com/mgrojo/coap_spark
Dependencies (direct):
   gnatprove^14.1.1
   wolfssl^5.8.0
Dependencies (solution):
   gnatprove=14.1.1
   wolfssl=5.8.0
Dependencies (graph):
   coap_spark=0.9.0 --> gnatprove=14.1.1 (^14.1.1)
   coap_spark=0.9.0 --> wolfssl=5.8.0 (^5.8.0)


LOG:
Failed to locate log