Test ran at 2025-06-15 00:59:05.583931+00:00

SOLUTION:
saatana=2.0.2: SPARK/Ada Algorithms Targeting Advanced Network Applications
Origin: source archive v2.0.2.tar.gz at https://github.com/HeisenbugLtd/Saatana/archive/v2.0.2.tar.gz with hash sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41
Properties:
   Author: Vinzent Saranen
   Description: SPARK/Ada Algorithms Targeting Advanced Network Applications
   Executable: test_phelix
   License: WTFPL
   Long_Description: Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications
A collection of cryptographic algorithms, proven for correctness in SPARK.

Currently contains [![Phelix](https://www.schneier.com/academic/archives/2005/01/phelix.html)](https://www.schneier.com/academic/archives/2005/01/phelix.html)

   Maintainer: amosteo@unizar.es
   Maintainer: vinzent@heisenbug.eu
   Maintainers_Logins: mosteo
   Maintainers_Logins: Jellix
   Name: saatana
   Project_File: saatana.gpr
   Tag: cryptography
   Tag: spark
   Version: 2.0.2
   Website: https://github.heisenbug.eu/Saatana
Dependencies (direct):
   gnat>2020 | (>=11 & <2000)
Dependencies (solution):
   gnat=11.2.4 (gnat_native)
Dependencies (graph):
   saatana=2.0.2 --> gnat=11.2.4 (gnat_native) (>2020 | (>=11 & <2000))


LOG:
Spawning: alr -d -n get --build saatana=2.0.2
Note: Deploying saatana=2.0.2...
#=#=#                                                                          
##O#-#                                                                         
Note: Building saatana=2.0.2/saatana.gpr...
Compile
   [Ada]          test_phelix_api.adb
   [Ada]          test_phelix.adb
   [Ada]          saatana.ads
   [Ada]          saatana-crypto.adb
   [Ada]          saatana-crypto-phelix.adb
   [Ada]          saatana-crypto-phelix-test_vectors.ads
   [Ada]          saatana-crypto-stream_tools.adb
Bind
   [gprbind]      test_phelix_api.bexch
   [gprbind]      test_phelix.bexch
   [Ada]          test_phelix_api.ali
   [Ada]          test_phelix.ali

--  The following additional restrictions may be applied to this partition:
pragma Restrictions (Pure_Barriers);
pragma Restrictions (No_Default_Stream_Attributes);
pragma Restrictions (No_Delay);
pragma Restrictions (No_Enumeration_Maps);
pragma Restrictions (No_Entry_Calls_In_Elaboration_Code);
pragma Restrictions (No_Exception_Registration);
pragma Restrictions (No_Finalization);
pragma Restrictions (No_Fixed_Io);
pragma Restrictions (No_Io);
pragma Restrictions (No_Implicit_Task_Allocations);
pragma Restrictions (No_Implicit_Protected_Object_Allocations);
pragma Restrictions (No_Initialize_Scalars);
pragma Restrictions (No_Multiple_Elaboration);
pragma Restrictions (No_Nested_Finalization);
pragma Restrictions (No_Protected_Types);
pragma Restrictions (No_Stream_Optimizations);
pragma Restrictions (No_Streams);
pragma Restrictions (No_Task_At_Interrupt_Priority);
pragma Restrictions (No_Tasking);
pragma Restrictions (No_Unchecked_Access);
pragma Restrictions (Static_Priorities);
pragma Restrictions (Static_Storage_Size);
pragma Restrictions (No_Implementation_Identifiers);
pragma Restrictions (No_Implementation_Units);
pragma Restrictions (No_Implicit_Aliasing);
pragma Restrictions (No_Unrecognized_Aspects);
pragma Restrictions (No_Unrecognized_Pragmas);
pragma Restrictions (No_Wide_Characters);
pragma Restrictions (Static_Dispatch_Tables);
pragma Restrictions (Max_Protected_Entries => 0);
pragma Restrictions (Max_Tasks => 0);

--  The following additional restrictions may be applied to this partition:
pragma Restrictions (Pure_Barriers);
pragma Restrictions (No_Default_Stream_Attributes);
pragma Restrictions (No_Delay);
pragma Restrictions (No_Enumeration_Maps);
pragma Restrictions (No_Entry_Calls_In_Elaboration_Code);
pragma Restrictions (No_Exception_Registration);
pragma Restrictions (No_Fixed_Io);
pragma Restrictions (No_Implicit_Task_Allocations);
pragma Restrictions (No_Implicit_Protected_Object_Allocations);
pragma Restrictions (No_Initialize_Scalars);
pragma Restrictions (No_Multiple_Elaboration);
pragma Restrictions (No_Nested_Finalization);
pragma Restrictions (No_Protected_Types);
pragma Restrictions (No_Stream_Optimizations);
pragma Restrictions (No_Streams);
pragma Restrictions (No_Task_At_Interrupt_Priority);
pragma Restrictions (No_Tasking);
pragma Restrictions (Static_Priorities);
pragma Restrictions (Static_Storage_Size);
pragma Restrictions (No_Implementation_Identifiers);
pragma Restrictions (No_Implementation_Units);
pragma Restrictions (No_Unrecognized_Aspects);
pragma Restrictions (No_Unrecognized_Pragmas);
pragma Restrictions (No_Wide_Characters);
pragma Restrictions (Static_Dispatch_Tables);
pragma Restrictions (Max_Protected_Entries => 0);
pragma Restrictions (Max_Tasks => 0);
Link
   [link]         test_phelix_api.adb
   [link]         test_phelix.adb
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib/x86_64-linux-gnu/libc.so.6: unknown type [0x13] section `.relr.dyn'
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib/x86_64-linux-gnu/libc.so.6 when searching for /lib/x86_64-linux-gnu/libc.so.6
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find /lib/x86_64-linux-gnu/libc.so.6
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib/x86_64-linux-gnu/libc.so.6: unknown type [0x13] section `.relr.dyn'
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib/x86_64-linux-gnu/libc.so.6 when searching for /lib/x86_64-linux-gnu/libc.so.6
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib64/ld-linux-x86-64.so.2: unknown type [0x13] section `.relr.dyn'
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib64/ld-linux-x86-64.so.2 when searching for /lib64/ld-linux-x86-64.so.2
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find /lib64/ld-linux-x86-64.so.2
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib64/ld-linux-x86-64.so.2: unknown type [0x13] section `.relr.dyn'
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib64/ld-linux-x86-64.so.2 when searching for /lib64/ld-linux-x86-64.so.2
collect2: error: ld returned 1 exit status
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib/x86_64-linux-gnu/libc.so.6: unknown type [0x13] section `.relr.dyn'
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib/x86_64-linux-gnu/libc.so.6 when searching for /lib/x86_64-linux-gnu/libc.so.6
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find /lib/x86_64-linux-gnu/libc.so.6
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib/x86_64-linux-gnu/libc.so.6: unknown type [0x13] section `.relr.dyn'
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib/x86_64-linux-gnu/libc.so.6 when searching for /lib/x86_64-linux-gnu/libc.so.6
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib64/ld-linux-x86-64.so.2: unknown type [0x13] section `.relr.dyn'
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib64/ld-linux-x86-64.so.2 when searching for /lib64/ld-linux-x86-64.so.2
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: cannot find /lib64/ld-linux-x86-64.so.2
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: /lib64/ld-linux-x86-64.so.2: unknown type [0x13] section `.relr.dyn'
/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/../lib/gcc/x86_64-pc-linux-gnu/11.2.0/../../../../x86_64-pc-linux-gnu/bin/ld: skipping incompatible /lib64/ld-linux-x86-64.so.2 when searching for /lib64/ld-linux-x86-64.so.2
collect2: error: ld returned 1 exit status
   link of test_phelix_api.adb failed
   failed command was: /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/gcc test_phelix_api.o b__test_phelix_api.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/saatana.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/saatana-crypto.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/saatana-crypto-phelix.o -g -L/home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/ -L/home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/ -L/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0/adalib/ -static-libgcc /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0/adalib/libgnat.a -ldl -Wl,-rpath-link,/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0//adalib -Wl,-z,origin,-rpath,$ORIGIN/:$ORIGIN/../../../../../../..//.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0/adalib -o test_phelix_api 
   link of test_phelix.adb failed
   failed command was: /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/bin/gcc test_phelix.o b__test_phelix.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/saatana.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/saatana-crypto.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/saatana-crypto-phelix.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/saatana-crypto-stream_tools.o /home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/saatana-crypto-phelix-test_vectors.o -g -L/home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/ -L/home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/_build/ -L/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0/adalib/ -static-libgcc /home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0/adalib/libgnat.a -ldl -Wl,-rpath-link,/home/runner/.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0//adalib -Wl,-z,origin,-rpath,$ORIGIN/:$ORIGIN/../../../../../../..//.local/share/alire/toolchains/gnat_native_11.2.4_2f37a10b/lib/gcc/x86_64-pc-linux-gnu/11.2.0/adalib -o test_phelix 
gprbuild: *** link phase failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/saatana.gpr"] exited with code 4
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/saatana.gpr"] 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/7a6f8f87-f545-436d-9215-1fbdcecb5994/saatana_2.0.2_edf1f2f6/saatana.gpr"] 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]
0xe16f5e Alire.Raise_Checked_Error at alire.adb:284
0xa845be Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111
0xcef7be Alire.Spawn.Command at alire-spawn.adb:21
0xcefdde Alire.Spawn.Gprbuild at alire-spawn.adb:41
0xc31d1f Alire.Roots.Build at alire-roots.adb:186
0xc304da Alire.Roots.Build at alire-roots.adb:252
0xc53d6f Alire.Roots.Traverse at alire-roots.adb:2075
0xcba1fd Alire.Solutions.Traverse.Visit at alire-solutions.adb:1480
0xcb9344 Alire.Solutions.Traverse at alire-solutions.adb:1563
0xc53e62 Alire.Roots.Traverse at alire-roots.adb:2079
0xc53f21 Alire.Roots.Traverse at alire-roots.adb:2059
0xc30a46 Alire.Roots.Build at alire-roots.adb:283
0xc30b2b Alire.Roots.Build at alire-roots.adb:111
0x4a5e38 Alr.Commands.Get.Retrieve at alr-commands-get.adb:205
0x4a94f3 Alr.Commands.Get.Execute at alr-commands-get.adb:378
0x4a96a1 Alr.Commands.Get.Execute at alr-commands-get.adb:256
0x533c96 Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749
0x53eff7 Alr.Commands.Execute at alr-commands.adb:561
0x43953a Alr.Main at alr-main.adb:13
0x43c1d3 Main at b__alr-main.adb:2299
[/lib/x86_64-linux-gnu/libc.so.6]
0x7f7903e2a1c8
0x7f7903e2a289
[/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr]
0x4393dc _start at ???
0xfffffffffffffffe


Warning: saatana=2.0.2 successfully retrieved but its build failed.
Dependencies were solved as follows:

   +b gnat 11.2.4 (new,gnat_native,binary)
ERROR: Build ended with errors