Package evaluation of AESInternals on Julia 1.13.0-DEV.1244 (c841b5fe7d*) started at 2025-10-02T14:06:06.406 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.88s ################################################################################ # Installation # Installing AESInternals... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [23d80bc3] + AESInternals v0.1.1 Updating `~/.julia/environments/v1.13/Manifest.toml` [23d80bc3] + AESInternals v0.1.1 Installation completed after 0.91s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 4902.0 ms ✓ TestEnv 1 dependency successfully precompiled in 6 seconds. 27 already precompiled. Precompiling package dependencies... Precompilation completed after 20.11s ################################################################################ # Testing # Testing AESInternals Status `/tmp/jl_vBXGG3/Project.toml` [23d80bc3] AESInternals v0.1.1 [8dfed614] Test v1.11.0 Status `/tmp/jl_vBXGG3/Manifest.toml` [23d80bc3] AESInternals v0.1.1 [2a0f44e3] Base64 v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.11.0 [8dfed614] Test v1.11.0 Testing Running tests... Test Summary: | Pass Total Time aes tests | 17 17 6.1s WARNING: Method definition set_leakage!(Any, Any, Any, Any) in module AESInternals at /home/pkgeval/.julia/packages/AESInternals/GFBIM/src/aes.jl:296 overwritten in module Main at /home/pkgeval/.julia/packages/AESInternals/GFBIM/test/bias-tests.jl:5. leakdefs = ((round, operation),) = ((1, :start),) leakdefs = ((round, operation),) = ((1, :s_box),) leakdefs = ((round, operation),) = ((1, :s_row),) leakdefs = ((round, operation),) = ((1, :m_col),) leakdefs = ((round, operation),) = ((2, :start),) leakdefs = ((round, operation),) = ((2, :s_box),) leakdefs = ((round, operation),) = ((2, :s_row),) leakdefs = ((round, operation),) = ((2, :m_col),) leakdefs = ((round, operation),) = ((3, :start),) leakdefs = ((round, operation),) = ((3, :s_box),) leakdefs = ((round, operation),) = ((3, :s_row),) leakdefs = ((round, operation),) = ((3, :m_col),) leakdefs = ((round, operation),) = ((4, :start),) leakdefs = ((round, operation),) = ((4, :s_box),) leakdefs = ((round, operation),) = ((4, :s_row),) leakdefs = ((round, operation),) = ((4, :m_col),) leakdefs = ((round, operation),) = ((5, :start),) leakdefs = ((round, operation),) = ((5, :s_box),) leakdefs = ((round, operation),) = ((5, :s_row),) leakdefs = ((round, operation),) = ((5, :m_col),) leakdefs = ((round, operation),) = ((6, :start),) leakdefs = ((round, operation),) = ((6, :s_box),) leakdefs = ((round, operation),) = ((6, :s_row),) leakdefs = ((round, operation),) = ((6, :m_col),) leakdefs = ((round, operation),) = ((7, :start),) leakdefs = ((round, operation),) = ((7, :s_box),) leakdefs = ((round, operation),) = ((7, :s_row),) leakdefs = ((round, operation),) = ((7, :m_col),) leakdefs = ((round, operation),) = ((8, :start),) leakdefs = ((round, operation),) = ((8, :s_box),) leakdefs = ((round, operation),) = ((8, :s_row),) leakdefs = ((round, operation),) = ((8, :m_col),) leakdefs = ((round, operation),) = ((9, :start),) leakdefs = ((round, operation),) = ((9, :s_box),) leakdefs = ((round, operation),) = ((9, :s_row),) leakdefs = ((round, operation),) = ((9, :m_col),) leakdefs = ((round, operation),) = ((10, :start),) leakdefs = ((round, operation),) = ((10, :s_box),) leakdefs = ((round, operation),) = ((10, :s_row),) leakdefs = ((round, operation),) = ((10, :m_col),) leakdefs = ((round, operation),) = ((11, :start),) leakdefs = ((round, operation),) = ((11, :s_box),) leakdefs = ((round, operation),) = ((11, :s_row),) leakdefs = ((round, operation),) = ((11, :m_col),) leakdefs = ((round, operation),) = ((12, :start),) leakdefs = ((round, operation),) = ((12, :s_box),) leakdefs = ((round, operation),) = ((12, :s_row),) leakdefs = ((round, operation),) = ((12, :m_col),) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :start), (2, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :start), (2, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :start), (2, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :s_box), (2, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :s_box), (2, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :s_box), (2, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :s_row), (2, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :s_row), (2, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :s_row), (2, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :m_col), (2, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :m_col), (2, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((1, :m_col), (2, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :start), (3, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :start), (3, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :start), (3, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :s_box), (3, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :s_box), (3, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :s_box), (3, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :s_row), (3, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :s_row), (3, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :s_row), (3, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :m_col), (3, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :m_col), (3, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((2, :m_col), (3, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :start), (4, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :start), (4, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :start), (4, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :s_box), (4, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :s_box), (4, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :s_box), (4, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :s_row), (4, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :s_row), (4, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :s_row), (4, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :m_col), (4, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :m_col), (4, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((3, :m_col), (4, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :start), (5, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :start), (5, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :start), (5, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :s_box), (5, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :s_box), (5, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :s_box), (5, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :s_row), (5, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :s_row), (5, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :s_row), (5, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :m_col), (5, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :m_col), (5, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((4, :m_col), (5, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :start), (6, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :start), (6, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :start), (6, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :s_box), (6, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :s_box), (6, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :s_box), (6, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :s_row), (6, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :s_row), (6, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :s_row), (6, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :m_col), (6, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :m_col), (6, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((5, :m_col), (6, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :start), (7, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :start), (7, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :start), (7, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :s_box), (7, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :s_box), (7, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :s_box), (7, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :s_row), (7, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :s_row), (7, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :s_row), (7, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :m_col), (7, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :m_col), (7, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((6, :m_col), (7, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :start), (8, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :start), (8, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :start), (8, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :s_box), (8, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :s_box), (8, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :s_box), (8, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :s_row), (8, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :s_row), (8, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :s_row), (8, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :m_col), (8, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :m_col), (8, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((7, :m_col), (8, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :start), (9, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :start), (9, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :start), (9, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :s_box), (9, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :s_box), (9, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :s_box), (9, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :s_row), (9, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :s_row), (9, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :s_row), (9, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :m_col), (9, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :m_col), (9, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((8, :m_col), (9, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :start), (10, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :start), (10, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :start), (10, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :s_box), (10, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :s_box), (10, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :s_box), (10, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :s_row), (10, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :s_row), (10, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :s_row), (10, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :m_col), (10, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :m_col), (10, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((9, :m_col), (10, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :start), (11, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :start), (11, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :start), (11, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :s_box), (11, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :s_box), (11, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :s_box), (11, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :s_row), (11, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :s_row), (11, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :s_row), (11, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :m_col), (11, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :m_col), (11, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((10, :m_col), (11, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :start), (12, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :start), (12, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :start), (12, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :s_box), (12, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :s_box), (12, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :s_box), (12, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :s_row), (12, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :s_row), (12, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :s_row), (12, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :m_col), (12, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :m_col), (12, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((11, :m_col), (12, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :start), (13, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :start), (13, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :start), (13, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :s_box), (13, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :s_box), (13, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :s_box), (13, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :s_row), (13, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :s_row), (13, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :s_row), (13, :m_col)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :m_col), (13, :start)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :m_col), (13, :s_box)) leakdefs = ((round, operation1), (round + 1, operation2)) = ((12, :m_col), (13, :m_col)) Test Summary: | Pass Total Time aes bias tests | 336 336 3m27.8s Testing AESInternals tests passed Testing completed after 220.5s PkgEval succeeded after 261.0s