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