Package evaluation of ReduceLinAlg on Julia 1.12.0-rc1.2 (995ff9db19*) started at 2025-07-14T11:58:38.073 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.72s ################################################################################ # Installation # Installing ReduceLinAlg... Resolving package versions... Updating `~/.julia/environments/v1.12/Project.toml` [bfcbc1eb] + ReduceLinAlg v0.1.1 Updating `~/.julia/environments/v1.12/Manifest.toml` [398f06c4] + AbstractLattices v0.3.1 [a8e43f4a] + AbstractTensors v0.8.9 [9dda63f9] + ForceImport v0.0.3 [93e0c654] + Reduce v1.2.15 [bfcbc1eb] + ReduceLinAlg v0.1.1 [b873ce64] + ReplMaker v0.2.7 [20fadf95] + StaticVectors v1.0.8 [a4af3ec5] + SyntaxTree v1.0.1 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [3fa0cd96] + REPL v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [6462fe0b] + Sockets v1.11.0 [f489334b] + StyledStrings v1.11.0 [8dfed614] + Test v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [8e850b90] + libblastrampoline_jll v5.13.1+0 Installation completed after 3.33s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... ERROR: LoadError: The following 1 direct dependency failed to precompile: ReduceLinAlg Failed to precompile ReduceLinAlg [bfcbc1eb-9170-5dc4-a833-47b2e27cecb4] to "/home/pkgeval/.julia/compiled/v1.12/ReduceLinAlg/jl_txZZ6u". ERROR: LoadError: InitError: IOError: could not spawn `/home/pkgeval/.julia/packages/Reduce/uoKuq/src/../deps/usr/bin/redcsl -w`: no such file or directory (ENOENT) Stacktrace: [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) @ Base ./process.jl:140 [2] _spawn @ ./process.jl:157 [inlined] [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times) @ Base ./process.jl:179 [4] #_spawn##0 @ ./process.jl:149 [inlined] [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}}) @ Base ./process.jl:236 [6] _spawn @ ./process.jl:148 [inlined] [7] run(::Base.CmdRedirect; wait::Bool) @ Base ./process.jl:516 [8] run @ ./process.jl:510 [inlined] [9] _spawn @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined] [10] Reduce.PSL() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:25 [11] Load() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:334 [12] __init__() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:329 [13] run_module_init(mod::Module, i::Int64) @ Base ./loading.jl:1411 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String) @ Base ./loading.jl:1399 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool) @ Base ./loading.jl:1287 [16] _include_from_serialized @ ./loading.jl:1246 [inlined] [17] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String}) @ Base ./loading.jl:2083 [18] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2595 [19] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2461 [20] macro expansion @ ./loading.jl:2389 [inlined] [21] macro expansion @ ./lock.jl:376 [inlined] [22] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2354 [23] require(into::Module, mod::Symbol) @ Base ./loading.jl:2330 [24] top-level scope @ ~/.julia/packages/ReduceLinAlg/fmyt7/src/ReduceLinAlg.jl:3 [25] include(mod::Module, _path::String) @ Base ./Base.jl:305 [26] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:2991 [27] top-level scope @ stdin:5 [28] eval(m::Module, e::Any) @ Core ./boot.jl:489 [29] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2837 [30] include_string @ ./loading.jl:2847 [inlined] [31] exec_options(opts::Base.JLOptions) @ Base ./client.jl:319 [32] _start() @ Base ./client.jl:554 during initialization of module Reduce in expression starting at /home/pkgeval/.julia/packages/ReduceLinAlg/fmyt7/src/ReduceLinAlg.jl:2 in expression starting at stdin:5 caused by: IOError: could not spawn `redcsl -w`: no such file or directory (ENOENT) Stacktrace: [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) @ Base ./process.jl:140 [2] _spawn @ ./process.jl:157 [inlined] [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times) @ Base ./process.jl:179 [4] #_spawn##0 @ ./process.jl:149 [inlined] [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}}) @ Base ./process.jl:236 [6] _spawn @ ./process.jl:148 [inlined] [7] run(::Base.CmdRedirect; wait::Bool) @ Base ./process.jl:516 [8] run @ ./process.jl:510 [inlined] [9] _spawn @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined] [10] Reduce.PSL() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:23 [11] Load() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:334 [12] __init__() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:329 [13] run_module_init(mod::Module, i::Int64) @ Base ./loading.jl:1411 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String) @ Base ./loading.jl:1399 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool) @ Base ./loading.jl:1287 [16] _include_from_serialized @ ./loading.jl:1246 [inlined] [17] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String}) @ Base ./loading.jl:2083 [18] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2595 [19] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2461 [20] macro expansion @ ./loading.jl:2389 [inlined] [21] macro expansion @ ./lock.jl:376 [inlined] [22] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2354 [23] require(into::Module, mod::Symbol) @ Base ./loading.jl:2330 [24] top-level scope @ ~/.julia/packages/ReduceLinAlg/fmyt7/src/ReduceLinAlg.jl:3 [25] include(mod::Module, _path::String) @ Base ./Base.jl:305 [26] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:2991 [27] top-level scope @ stdin:5 [28] eval(m::Module, e::Any) @ Core ./boot.jl:489 [29] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2837 [30] include_string @ ./loading.jl:2847 [inlined] [31] exec_options(opts::Base.JLOptions) @ Base ./client.jl:319 [32] _start() @ Base ./client.jl:55 in expression starting at /PkgEval.jl/scripts/precompile.jl:37 Precompilation failed after 31.11s ################################################################################ # Testing # Testing ReduceLinAlg Status `/tmp/jl_nZclv0/Project.toml` [93e0c654] Reduce v1.2.15 [bfcbc1eb] ReduceLinAlg v0.1.1 [37e2e46d] LinearAlgebra v1.12.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_nZclv0/Manifest.toml` [398f06c4] AbstractLattices v0.3.1 [a8e43f4a] AbstractTensors v0.8.9 [9dda63f9] ForceImport v0.0.3 [93e0c654] Reduce v1.2.15 [bfcbc1eb] ReduceLinAlg v0.1.1 [b873ce64] ReplMaker v0.2.7 [20fadf95] StaticVectors v1.0.8 [a4af3ec5] SyntaxTree v1.0.1 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.12.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [f489334b] StyledStrings v1.11.0 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [4536629a] OpenBLAS_jll v0.3.29+0 [8e850b90] libblastrampoline_jll v5.13.1+0 Testing Running tests... ERROR: LoadError: InitError: IOError: could not spawn `/home/pkgeval/.julia/packages/Reduce/uoKuq/src/../deps/usr/bin/redcsl -w`: no such file or directory (ENOENT) Stacktrace: [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) @ Base ./process.jl:140 [2] _spawn @ ./process.jl:157 [inlined] [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times) @ Base ./process.jl:179 [4] #_spawn##0 @ ./process.jl:149 [inlined] [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}}) @ Base ./process.jl:236 [6] _spawn @ ./process.jl:148 [inlined] [7] run(::Base.CmdRedirect; wait::Bool) @ Base ./process.jl:516 [8] run @ ./process.jl:510 [inlined] [9] _spawn @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined] [10] Reduce.PSL() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:25 [11] Load() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:334 [12] __init__() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:329 [13] run_module_init(mod::Module, i::Int64) @ Base ./loading.jl:1411 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String) @ Base ./loading.jl:1399 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool) @ Base ./loading.jl:1287 [16] _include_from_serialized @ ./loading.jl:1246 [inlined] [17] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String}) @ Base ./loading.jl:2083 [18] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2595 [19] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2461 [20] macro expansion @ ./loading.jl:2389 [inlined] [21] macro expansion @ ./lock.jl:376 [inlined] [22] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2354 [23] require(into::Module, mod::Symbol) @ Base ./loading.jl:2330 [24] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:306 [25] top-level scope @ none:6 [26] eval(m::Module, e::Any) @ Core ./boot.jl:489 [27] exec_options(opts::Base.JLOptions) @ Base ./client.jl:287 [28] _start() @ Base ./client.jl:554 during initialization of module Reduce in expression starting at /home/pkgeval/.julia/packages/ReduceLinAlg/fmyt7/test/runtests.jl:1 caused by: IOError: could not spawn `redcsl -w`: no such file or directory (ENOENT) Stacktrace: [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) @ Base ./process.jl:140 [2] _spawn @ ./process.jl:157 [inlined] [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times) @ Base ./process.jl:179 [4] #_spawn##0 @ ./process.jl:149 [inlined] [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}}) @ Base ./process.jl:236 [6] _spawn @ ./process.jl:148 [inlined] [7] run(::Base.CmdRedirect; wait::Bool) @ Base ./process.jl:516 [8] run @ ./process.jl:510 [inlined] [9] _spawn @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined] [10] Reduce.PSL() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:23 [11] Load() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:334 [12] __init__() @ Reduce ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:329 [13] run_module_init(mod::Module, i::Int64) @ Base ./loading.jl:1411 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String) @ Base ./loading.jl:1399 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool) @ Base ./loading.jl:1287 [16] _include_from_serialized @ ./loading.jl:1246 [inlined] [17] _require_search_from_serialized(pkg::Base.PkgId, sourcepath::String, build_id::UInt128, stalecheck::Bool; reasons::Dict{String, Int64}, DEPOT_PATH::Vector{String}) @ Base ./loading.jl:2083 [18] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2595 [19] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2461 [20] macro expansion @ ./loading.jl:2389 [inlined] [21] macro expansion @ ./lock.jl:376 [inlined] [22] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2354 [23] require(into::Module, mod::Symbol) @ Base ./loading.jl:2330 [24] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:306 [25] top-level scope @ none:6 [26] eval(m::Module, e::Any) @ Core ./boot.jl:489 [27] exec_options(opts::Base.JLOptions) @ Base ./client.jl:287 [28] _start() @ Base ./client.jl:554 Testing failed after 45.47s ERROR: LoadError: Package ReduceLinAlg errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.12/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.12/Pkg/src/Operations.jl:2458 [3] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2313 [inlined] [4] 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.12/Pkg/src/API.jl:511 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:151 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:305 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:321 [12] _start() @ Base ./client.jl:554 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 103.56s: package fails to precompile