Package evaluation to test CarlemanLinearization on Julia 1.14.0-DEV.2705 (2f35a920f0*) started at 2026-07-19T14:06:21.563 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.9s ################################################################################ # Installation # Installing CarlemanLinearization... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [4803f6b2] + CarlemanLinearization v0.4.2 Updating `~/.julia/environments/v1.14/Manifest.toml` [4803f6b2] + CarlemanLinearization v0.4.2 [864edb3b] + DataStructures v0.19.6 [e2ba6199] + ExprTools v0.1.10 [102ac46a] + MultivariatePolynomials v0.5.19 [d8a4904e] + MutableArithmetics v1.8.0 [bac558e1] + OrderedCollections v2.0.1 [379f33d0] + ReachabilityBase v0.3.6 [ae029012] + Requires v1.3.1 [0c0c59c1] + StarAlgebras v0.3.0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [2f01184e] + SparseArrays v1.13.0 [f489334b] + StyledStrings v1.13.0 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.5+2 [4536629a] + OpenBLAS_jll v0.3.33+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Installation completed after 4.41s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/RUPmD/src/julia-1.13/activate_set.jl:78 Precompiling package dependencies... Precompiling project... 4.3 s ✓ CarlemanLinearization 36.2 s ✓ LazySets 14.0 s ✓ CarlemanLinearization → LazySetsExt 3 dependencies successfully precompiled in 56 seconds. 91 already precompiled. Precompilation completed after 85.21s ################################################################################ # Testing # Testing CarlemanLinearization Test Could not use exact versions of packages in manifest, re-resolving. Note: if you do not check your manifest file into source control, then you can probably ignore this message. However, if you do check your manifest file into source control, then you probably want to pass the `allow_reresolve = false` kwarg when calling the `Pkg.test` function. Updating `/tmp/jl_DMXY5A/Project.toml` [4c88cf16] + Aqua v0.8.16 [4803f6b2] + CarlemanLinearization v0.4.2 [7c1d4256] + DynamicPolynomials v0.6.6 [b4f0291d] + LazySets v6.0.4 [44cfe95a] ~ Pkg ⇒ v1.14.0 Updating `/tmp/jl_DMXY5A/Manifest.toml` [4c88cf16] + Aqua v0.8.16 [96374032] + CRlibm v1.0.2 [4803f6b2] + CarlemanLinearization v0.4.2 [523fee87] + CodecBzip2 v0.8.5 [944b1d66] + CodecZlib v0.7.8 [bbf7d656] + CommonSubexpressions v0.3.1 [34da2185] + Compat v4.18.1 [b7a15901] + CoreMath v0.1.0 [864edb3b] + DataStructures v0.19.6 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.16.0 [ffbed154] + DocStringExtensions v0.9.5 [7c1d4256] + DynamicPolynomials v0.6.6 [e2ba6199] + ExprTools v0.1.10 [f6369f11] + ForwardDiff v1.4.1 [60bf3e95] + GLPK v1.2.1 [d1acc4aa] + IntervalArithmetic v1.0.10 [92d709cd] + IrrationalConstants v0.2.6 [692b3bcd] + JLLWrappers v1.8.0 [682c06a0] + JSON v1.6.1 [4076af6c] + JuMP v1.30.1 [b4f0291d] + LazySets v6.0.4 [2ab3a3ac] + LogExpFunctions v1.0.1 [1914dd2f] + MacroTools v0.5.16 [b8f27783] + MathOptInterface v1.51.2 [102ac46a] + MultivariatePolynomials v0.5.19 [d8a4904e] + MutableArithmetics v1.8.0 [77ba4419] + NaNMath v1.1.4 ⌅ [bac558e1] + OrderedCollections v1.8.2 [69de0a69] + Parsers v2.8.6 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [379f33d0] + ReachabilityBase v0.3.6 [3cdcf5f2] + RecipesBase v1.3.4 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [5eaf0fd0] + RoundingEmulator v0.2.1 [276daf66] + SpecialFunctions v2.8.0 [0c0c59c1] + StarAlgebras v0.3.0 [1e83bf80] + StaticArraysCore v1.4.4 [ec057cc2] + StructUtils v2.8.2 [3bb67fe8] + TranscodingStreams v0.11.3 [6e34b625] + Bzip2_jll v1.0.9+0 [4e9b3aee] + CRlibm_jll v1.0.1+0 [a38c48d9] + CoreMath_jll v0.1.0+0 ⌅ [e8aa6df9] + GLPK_jll v5.0.1+1 [6cdc7f73] + OpenBLASConsistentFPCSR_jll v0.3.33+1 [efe28fd5] + OpenSpecFun_jll v0.5.6+0 [0dad84c5] + ArgTools v1.2.0 [ade2ca70] + Dates v1.11.0 [8ba89e20] + Distributed v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b27032c2] + LibCURL v1.0.0 [76f85450] + LibGit2 v1.11.0 [a63ad114] + Mmap v1.11.0 [ca575930] + NetworkOptions v1.3.0 [44cfe95a] ~ Pkg ⇒ v1.14.0 [de0858da] + Printf v1.11.0 [1a1011a3] + SharedArrays v1.11.0 [6462fe0b] + Sockets v1.11.0 [2f01184e] + SparseArrays v1.13.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [781609d7] + GMP_jll v6.3.0+2 [deac9b47] + LibCURL_jll v8.21.0+0 [e37daf67] + LibGit2_jll v1.9.4+0 [29816b5a] + LibSSH2_jll v1.11.103+0 [14a3606d] + MozillaCACerts_jll v2026.7.16 [05823500] + OpenLibm_jll v0.8.7+0 [458c3c95] + OpenSSL_jll v3.5.7+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850ede] + nghttp2_jll v1.69.0+0 [3f19e933] + p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_DMXY5A/Project.toml` [4c88cf16] Aqua v0.8.16 [4803f6b2] CarlemanLinearization v0.4.2 [7c1d4256] DynamicPolynomials v0.6.6 [b4f0291d] LazySets v6.0.4 [37e2e46d] LinearAlgebra v1.14.0 [44cfe95a] Pkg v1.14.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_DMXY5A/Manifest.toml` [4c88cf16] Aqua v0.8.16 [96374032] CRlibm v1.0.2 [4803f6b2] CarlemanLinearization v0.4.2 [523fee87] CodecBzip2 v0.8.5 [944b1d66] CodecZlib v0.7.8 [bbf7d656] CommonSubexpressions v0.3.1 [34da2185] Compat v4.18.1 [b7a15901] CoreMath v0.1.0 [864edb3b] DataStructures v0.19.6 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.16.0 [ffbed154] DocStringExtensions v0.9.5 [7c1d4256] DynamicPolynomials v0.6.6 [e2ba6199] ExprTools v0.1.10 [f6369f11] ForwardDiff v1.4.1 [60bf3e95] GLPK v1.2.1 [d1acc4aa] IntervalArithmetic v1.0.10 [92d709cd] IrrationalConstants v0.2.6 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.6.1 [4076af6c] JuMP v1.30.1 [b4f0291d] LazySets v6.0.4 [2ab3a3ac] LogExpFunctions v1.0.1 [1914dd2f] MacroTools v0.5.16 [b8f27783] MathOptInterface v1.51.2 [102ac46a] MultivariatePolynomials v0.5.19 [d8a4904e] MutableArithmetics v1.8.0 [77ba4419] NaNMath v1.1.4 ⌅ [bac558e1] OrderedCollections v1.8.2 [69de0a69] Parsers v2.8.6 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [379f33d0] ReachabilityBase v0.3.6 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [5eaf0fd0] RoundingEmulator v0.2.1 [276daf66] SpecialFunctions v2.8.0 [0c0c59c1] StarAlgebras v0.3.0 [1e83bf80] StaticArraysCore v1.4.4 [ec057cc2] StructUtils v2.8.2 [3bb67fe8] TranscodingStreams v0.11.3 [6e34b625] Bzip2_jll v1.0.9+0 [4e9b3aee] CRlibm_jll v1.0.1+0 [a38c48d9] CoreMath_jll v0.1.0+0 ⌅ [e8aa6df9] GLPK_jll v5.0.1+1 [6cdc7f73] OpenBLASConsistentFPCSR_jll v0.3.33+1 [efe28fd5] OpenSpecFun_jll v0.5.6+0 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [8ba89e20] Distributed v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [1a1011a3] SharedArrays v1.11.0 [6462fe0b] Sockets v1.11.0 [2f01184e] SparseArrays v1.13.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.5+2 [781609d7] GMP_jll v6.3.0+2 [deac9b47] LibCURL_jll v8.21.0+0 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.103+0 [14a3606d] MozillaCACerts_jll v2026.7.16 [4536629a] OpenBLAS_jll v0.3.33+0 [05823500] OpenLibm_jll v0.8.7+0 [458c3c95] OpenSSL_jll v3.5.7+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... Test Summary: | Pass Total Time Kronecker power of identity matrix | 1 1 1.4s Test Summary: | Pass Total Time Kronecker power (symbolic) | 4 4 3.8s Test Summary: | Pass Total Time Kronecker sandwich I^{⊗ l} ⊗ F ⊗ I^{⊗ r} | 6 6 4.5s Test Summary: | Pass Total Time Kronecker sum | 4 4 1.6s Test Summary: | Pass Total Time Conversion from polynomial to matrix representation | 2 2 10.4s Test Summary: | Pass Total Time Generating all commutative monomials | 25 25 1.7s Test Summary: | Pass Total Time Compressed matrices | 9 9 19.3s Test Summary: | Pass Total Time Lifting vectors | 1 1 5.8s Test Summary: | Pass Total Time Error bounds | 325 325 7.8s Resolving package versions... Updating `/tmp/jl_DMXY5A/Project.toml` [7d51a73a] + ExplicitImports v1.15.0 Updating `/tmp/jl_DMXY5A/Manifest.toml` [7d51a73a] + ExplicitImports v1.15.0 ExplicitImports tests: Error During Test at /home/pkgeval/.julia/packages/CarlemanLinearization/khNiC/test/quality_assurance.jl:11 Test threw exception Expression: isnothing(ExplicitImports.check_all_explicit_imports_are_public(CarlemanLinearization; ignore = ignores)) NonPublicExplicitImportsException Module `CarlemanLinearization` has explicit imports of names from modules in which they are not public (i.e. exported or declared public in Julia 1.11+): - `/` is not public in `LinearAlgebra` but it was imported from `LinearAlgebra` at `/home/pkgeval/.julia/packages/CarlemanLinearization/khNiC/src/init.jl:1:22` - `kron` is not public in `LinearAlgebra` but it was imported from `LinearAlgebra` at `/home/pkgeval/.julia/packages/CarlemanLinearization/khNiC/src/init.jl:1:44` Stacktrace: [1] check_all_explicit_imports_are_public(mod::Module, file::String; skip::Tuple{Pair{Module, Module}}, from::Nothing, ignore::Tuple{Symbol}, allow_internal_imports::Bool, throw::Bool, file_analysis::Dict{Any, Any}) @ ExplicitImports ~/.julia/packages/ExplicitImports/sATsO/src/checks.jl:771 [2] top-level scope @ ~/.julia/packages/CarlemanLinearization/khNiC/test/quality_assurance.jl:10 [3] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [4] macro expansion @ ~/.julia/packages/CarlemanLinearization/khNiC/test/quality_assurance.jl:11 [inlined] [5] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] ExplicitImports tests: Error During Test at /home/pkgeval/.julia/packages/CarlemanLinearization/khNiC/test/quality_assurance.jl:13 Test threw exception Expression: isnothing(ExplicitImports.check_all_explicit_imports_via_owners(CarlemanLinearization)) ExplicitImportsFromNonOwnerException Module `CarlemanLinearization` has explicit imports of names from modules other than their owner as determined via `Base.which`: - `/` has owner `Base` but it was imported from `LinearAlgebra` at `/home/pkgeval/.julia/packages/CarlemanLinearization/khNiC/src/init.jl:1:22` - `kron` has owner `Base` but it was imported from `LinearAlgebra` at `/home/pkgeval/.julia/packages/CarlemanLinearization/khNiC/src/init.jl:1:44` Stacktrace: [1] check_all_explicit_imports_via_owners(mod::Module, file::String; ignore::Tuple{}, skip::Tuple{Pair{Module, Module}}, allow_internal_imports::Bool, require_submodule_import::Bool, throw::Bool, file_analysis::Dict{Any, Any}) @ ExplicitImports ~/.julia/packages/ExplicitImports/sATsO/src/checks.jl:663 [2] check_all_explicit_imports_via_owners(mod::Module, file::String) @ ExplicitImports ~/.julia/packages/ExplicitImports/sATsO/src/checks.jl:621 [3] top-level scope @ ~/.julia/packages/CarlemanLinearization/khNiC/test/quality_assurance.jl:10 [4] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2246 [inlined] [5] macro expansion @ ~/.julia/packages/CarlemanLinearization/khNiC/test/quality_assurance.jl:13 [inlined] [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:781 [inlined] Test Summary: | Pass Error Total Time ExplicitImports tests | 5 2 7 1m18.5s RNG of the outermost testset: Random.Xoshiro(0xa15be678250d0485, 0xbe45022e35813a6e, 0xc40891bbe7e98a5e, 0x95c5c9dea64fad91, 0xc8be4ac4d94e269c) ERROR: LoadError: Some tests did not pass: 5 passed, 0 failed, 2 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/CarlemanLinearization/khNiC/test/quality_assurance.jl:5 in expression starting at /home/pkgeval/.julia/packages/CarlemanLinearization/khNiC/test/runtests.jl:178 Testing failed after 285.7s ERROR: LoadError: Package CarlemanLinearization errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3247 [3] test(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:587 [4] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [8] include(mod::Module, _path::String) @ Base Base.jl:325 [9] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [10] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 424.31s: package tests unexpectedly errored