Package evaluation to test AESInternals on Julia 1.14.0-DEV.30 (073666df8b*) started at 2025-11-04T11:59:11.234 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 9.77s ################################################################################ # Installation # Installing AESInternals... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [23d80bc3] + AESInternals v0.1.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [23d80bc3] + AESInternals v0.1.1 Installation completed after 0.97s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 5055.7 ms ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. 1 dependency had output during precompilation: ┌ TestEnv │ WARNING: Imported binding Operations.project_rel_path was undeclared at import time during import to TestEnv. └ ┌ Error: Failed to use TestEnv.jl; test dependencies will not be precompiled │ exception = │ UndefVarError: `project_rel_path` not defined in `TestEnv` │ Suggestion: this global was defined as `Pkg.Operations.project_rel_path` but not assigned a value. │ Stacktrace: │ [1] get_test_dir(ctx::Pkg.Types.Context, pkgspec::PackageSpec) │ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/common.jl:75 │ [2] test_dir_has_project_file │ @ ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/common.jl:52 [inlined] │ [3] maybe_gen_project_override! │ @ ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/common.jl:83 [inlined] │ [4] activate(pkg::String; allow_reresolve::Bool) │ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/activate_set.jl:12 │ [5] activate(pkg::String) │ @ TestEnv ~/.julia/packages/TestEnv/nGMfF/src/julia-1.11/activate_set.jl:9 │ [6] top-level scope │ @ /PkgEval.jl/scripts/precompile.jl:24 │ [7] include(mod::Module, _path::String) │ @ Base ./Base.jl:309 │ [8] exec_options(opts::Base.JLOptions) │ @ Base ./client.jl:344 │ [9] _start() │ @ Base ./client.jl:577 └ @ Main /PkgEval.jl/scripts/precompile.jl:26 Precompiling package dependencies... Precompiling packages... 1131.6 ms ✓ AESInternals 1 dependency successfully precompiled in 1 seconds Precompilation completed after 19.48s ################################################################################ # Testing # Testing AESInternals Status `/tmp/jl_33SiC4/Project.toml` [23d80bc3] AESInternals v0.1.1 [8dfed614] Test v1.11.0 Status `/tmp/jl_33SiC4/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 v1.0.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 5.8s 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 3m24.7s Testing AESInternals tests passed Testing completed after 216.25s PkgEval succeeded after 256.07s