Test ran at 2025-07-16 12:28:09.584605+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:
[alr test] Testing coap_spark=0.9.0
[alr test] Spawning retrieval for remote crate: alr -d -n get coap_spark=0.9.0
Note: Deploying coap_spark=0.9.0...
Note: Deploying gnatprove=14.1.1...
#=#=#                                                                          

                                                                           0.0%
#                                                                          1.8%
###                                                                        5.3%
#######                                                                    9.9%
#########                                                                 13.8%
############                                                              17.8%
################                                                          22.9%
##################                                                        25.9%
#####################                                                     30.5%
#########################                                                 35.6%
#############################                                             40.5%
###############################                                           44.1%
##################################                                        48.3%
######################################                                    53.2%
########################################                                  56.3%
###########################################                               60.9%
##############################################                            64.4%
################################################                          68.0%
####################################################                      72.5%
######################################################                    76.3%
#########################################################                 79.3%
############################################################              83.9%
###############################################################           88.7%
#################################################################         90.3%
###################################################################       94.1%
######################################################################    97.7%
######################################################################## 100.0%
Note: Deploying wolfssl=5.8.0...

coap_spark=0.9.0 successfully retrieved.
Dependencies were solved as follows:

   +b gnatprove 14.1.1 (new,binary)
   +  wolfssl   5.8.0  (new)
[alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn
Note: Building coap_spark=0.9.0/coap_spark.gpr...
Setup
   [mkdir]        object directory for project SPARKlib
   [mkdir]        object directory for project WolfSSL
   [mkdir]        library directory for project WolfSSL
   [mkdir]        object directory for project Coap_Spark
   [mkdir]        library directory for project Coap_Spark
Compile
   [Ada]          spark_sockets.adb
   [Ada]          spark_terminal.adb
   [Ada]          wolfssl.adb
   [C]            wolfevent.c
   [C]            ext_xmss.c
   [C]            poly1305.c
   [C]            sp_x86_64.c
   [C]            wc_lms.c
   [C]            ripemd.c
   [C]            signature.c
   [C]            sp_sm2_x86_64.c
   [C]            blake2b.c
   [C]            arc4.c
   [C]            sp_arm64.c
   [C]            curve448.c
   [C]            ge_448.c
   [C]            wc_xmss_impl.c
   [C]            rsa.c
   [C]            rc2.c
   [C]            sp_sm2_armthumb.c
   [C]            ext_mlkem.c
   [C]            integer.c
   [C]            sakke.c
   [C]            sha512.c
   [C]            tfm.c
   [C]            ge_operations.c
   [C]            kdf.c
   [C]            sp_dsp32.c
   [C]            hmac.c
   [C]            sphincs.c
   [C]            fe_448.c
   [C]            wc_pkcs11.c
   [C]            sp_c32.c
   [C]            sp_sm2_arm32.c
   [C]            wc_lms_impl.c
   [C]            hpke.c
   [C]            sp_sm2_arm64.c
   [C]            md5.c
   [C]            ascon.c
   [C]            dsa.c
   [C]            wc_xmss.c
   [C]            sm4.c
   [C]            ecc_fp.c
   [C]            sp_armthumb.c
   [C]            sp_sm2_c32.c
   [C]            memory.c
   [C]            ge_low_mem.c
   [C]            cpuid.c
   [C]            wc_encrypt.c
   [C]            md2.c
   [C]            ed448.c
   [C]            chacha20_poly1305.c
   [C]            camellia.c
   [C]            random.c
   [C]            wc_mlkem.c
   [C]            srp.c
   [C]            aes.c
   [C]            pkcs12.c
   [C]            ed25519.c
   [C]            sm2.c
   [C]            evp.c
   [C]            ext_lms.c
   [C]            dh.c
   [C]            sp_cortexm.c
   [C]            md4.c
   [C]            wc_port.c
   [C]            asm.c
   [C]            pwdbased.c
   [C]            eccsi.c
   [C]            sha.c
   [C]            wolfmath.c
   [C]            misc.c
   [C]            cryptocb.c
   [C]            error.c
   [C]            dilithium.c
   [C]            hash.c
   [C]            sm3.c
   [C]            asn.c
   [C]            coding.c
   [C]            falcon.c
   [C]            wc_dsp.c
   [C]            sp_int.c
   [C]            logging.c
   [C]            fe_low_mem.c
   [C]            sp_sm2_cortexm.c
   [C]            wc_mlkem_poly.c
   [C]            sp_c64.c
   [C]            fe_operations.c
   [C]            compress.c
   [C]            des3.c
   [C]            cmac.c
   [C]            sp_arm32.c
   [C]            chacha.c
   [C]            sha3.c
   [C]            ecc.c
   [C]            blake2s.c
   [C]            siphash.c
   [C]            pkcs7.c
   [C]            sp_sm2_c64.c
   [C]            sha256.c
   [C]            curve25519.c
   [C]            conf.c
   [C]            pk.c
   [C]            tls13.c
   [C]            ssl_bn.c
   [C]            ssl_load.c
   [C]            x509_str.c
   [C]            ssl_asn1.c
   [C]            ssl_p7p12.c
   [C]            keys.c
   [C]            dtls.c
   [C]            ssl_sess.c
   [C]            internal.c
   [C]            ssl_misc.c
   [C]            sniffer.c
   [C]            wolfio.c
   [C]            tls.c
   [C]            ssl_crypto.c
   [C]            ssl_certman.c
   [C]            dtls13.c
   [C]            ocsp.c
   [C]            crl.c
   [C]            quic.c
   [C]            x509.c
   [C]            bio.c
   [C]            ssl.c
   [C]            ada_binding.c
   [Ada]          spark-higher_order.adb
gnat1: invalid switch: -gnat2022

   compilation of spark-higher_order.adb failed

gprbuild: *** compilation phase failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/33ea2e53-e029-4c51-8e32-6cc914306f10/coap_spark_0.9.0_81401167/coap_spark.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/33ea2e53-e029-4c51-8e32-6cc914306f10/coap_spark_0.9.0_81401167/coap_spark.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4
stderr: ALIRE.CHECKED_ERROR
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/33ea2e53-e029-4c51-8e32-6cc914306f10/coap_spark_0.9.0_81401167/coap_spark.gpr", "-cargs:Ada", "-gnatwn"] exited with code 4
stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1
[/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr]
0xe75bc6 Alire.Raise_Checked_Error at alire.adb:284
0xac1a54 Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111
0xd40276 Alire.Spawn.Command at alire-spawn.adb:22
0xd412ee Alire.Spawn.Gprbuild at alire-spawn.adb:68
0xc748cb Alire.Roots.Build at alire-roots.adb:189
0xc7301a Alire.Roots.Build at alire-roots.adb:255
0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143
0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472
0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555
0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147
0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127
0xc7359b Alire.Roots.Build at alire-roots.adb:286
0xc736d7 Alire.Roots.Build at alire-roots.adb:114
0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145
0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113
0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54
0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749
0x5472be Alr.Commands.Execute at alr-commands.adb:632
0x43d48a Alr.Main at alr-main.adb:13
0x4403a3 Main at b__alr-main.adb:2445
[/lib/x86_64-linux-gnu/libc.so.6]
0x7fb17a62a1c8
0x7fb17a62a289
[/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr]
0x43d323 _start at ???
0xfffffffffffffffe

stderr: ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED
stderr: alire-roots.adb:202
stderr: raised ALIRE.ROOTS.BUILD._WRAPPED_STATEMENTS.BUILD_FAILED : alire-roots.adb:202
[/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr]
0xc74cc7 Alire.Roots.Build at alire-roots.adb:202
0xc7301a Alire.Roots.Build at alire-roots.adb:255
0xc9832b Alire.Roots.Traverse at alire-roots.adb:2143
0xcfee85 Alire.Solutions.Traverse.Visit at alire-solutions.adb:1472
0xcfdfcc Alire.Solutions.Traverse at alire-solutions.adb:1555
0xc9841e Alire.Roots.Traverse at alire-roots.adb:2147
0xc984dd Alire.Roots.Traverse at alire-roots.adb:2127
0xc7359b Alire.Roots.Build at alire-roots.adb:286
0xc736d7 Alire.Roots.Build at alire-roots.adb:114
0x49aa0d Alr.Commands.Build.Execute at alr-commands-build.adb:145
0x49a36d Alr.Commands.Build.Execute at alr-commands-build.adb:113
0x49a51f Alr.Commands.Build.Execute at alr-commands-build.adb:54
0x53bbcc Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749
0x5472be Alr.Commands.Execute at alr-commands.adb:632
0x43d48a Alr.Main at alr-main.adb:13
0x4403a3 Main at b__alr-main.adb:2445
[/lib/x86_64-linux-gnu/libc.so.6]
0x7fb17a62a1c8
0x7fb17a62a289
[/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr]
0x43d323 _start at ???
0xfffffffffffffffe

ERROR: Compilation failed.