Package evaluation to test Fatou on Julia 1.12.7-DEV.42 (6f510b6086*) started at 2026-06-19T13:59:12.929


################################################################################
# Set-up
#

Installing PkgEval dependencies (TestEnv)...
  Activating project at `~/.julia/environments/v1.12`

Set-up completed after 7.94s


################################################################################
# Installation
#

Installing Fatou...
   Resolving package versions...
    Updating `~/.julia/environments/v1.12/Project.toml`
  [5f923234] + Fatou v1.2.4
    Updating `~/.julia/environments/v1.12/Manifest.toml`
  [398f06c4] + AbstractLattices v0.3.1
  [a8e43f4a] + AbstractTensors v0.8.11
  [35d6a980] + ColorSchemes v3.31.0
  [3da002f7] + ColorTypes v0.12.1
  [c3611d14] + ColorVectorSpace v0.11.0
  [5ae59095] + Colors v0.13.1
  [5f923234] + Fatou v1.2.4
⌅ [53c48c17] + FixedPointNumbers v0.8.6
  [9dda63f9] + ForceImport v0.0.3
  [b964fa9f] + LaTeXStrings v1.4.0
  [aea7be01] + PrecompileTools v1.3.4
  [21216c6a] + Preferences v1.5.2
  [93e0c654] + Reduce v1.2.16
  [189a3867] + Reexport v1.2.2
  [b873ce64] + ReplMaker v0.2.7
  [ae029012] + Requires v1.3.1
  [20fadf95] + StaticVectors v1.0.9
  [10745b16] + Statistics v1.11.1
  [a4af3ec5] + SyntaxTree v1.0.1
  [62fd8b95] + TensorCore v0.1.1
  [56f22d72] + Artifacts v1.11.0
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates 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
  [de0858da] + Printf 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
  [fa267f1f] + TOML v1.0.3
  [8dfed614] + Test v1.11.0
  [cf7118a7] + UUIDs 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.15.0+0
        Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m`

Installation completed after 6.1s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...

Precompiling package dependencies...
Precompiling packages...
              ✗ Fatou
  0 dependencies successfully precompiled in 16 seconds. 35 already precompiled.
  9 dependencies precompiled but different versions are currently loaded (Base64, Dates, JuliaSyntaxHighlighting, Logging, Markdown, Printf, StyledStrings, TOML and UUIDs). Restart julia to access the new versions. Otherwise, 14 dependents of these packages may trigger further precompilation to work with the unexpected versions.

ERROR: LoadError: The following 1 direct dependency failed to precompile:

Fatou 

Failed to precompile Fatou [5f923234-c850-556d-bb4f-28324fa1959a] to "/home/pkgeval/.julia/compiled/v1.12/Fatou/jl_ZwNdsB".
ERROR: LoadError: InitError: IOError: could not spawn `/home/pkgeval/.julia/packages/Reduce/2dYLC/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:139
  [2] _spawn
    @ ./process.jl:156 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:178
  [4] #_spawn##0
    @ ./process.jl:148 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:235
  [6] _spawn
    @ ./process.jl:147 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:515
  [8] run
    @ ./process.jl:509 [inlined]
  [9] _spawn(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/build.jl:55
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:25
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1445
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1433
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1321
 [16] _include_from_serialized
    @ ./loading.jl:1276 [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:2116
 [18] _require_search_from_serialized
    @ ./loading.jl:2010 [inlined]
 [19] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2628
 [20] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2494
 [21] macro expansion
    @ ./loading.jl:2422 [inlined]
 [22] macro expansion
    @ ./lock.jl:376 [inlined]
 [23] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2387
 [24] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2363
 [25] top-level scope
    @ ~/.julia/packages/Fatou/3H4CW/src/Fatou.jl:2
 [26] include(mod::Module, _path::String)
    @ Base ./Base.jl:306
 [27] 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:3027
 [28] top-level scope
    @ stdin:5
 [29] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [30] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2873
 [31] include_string
    @ ./loading.jl:2883 [inlined]
 [32] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:315
 [33] _start()
    @ Base ./client.jl:550
during initialization of module Reduce
in expression starting at /home/pkgeval/.julia/packages/Fatou/3H4CW/src/Fatou.jl:1
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:139
  [2] _spawn
    @ ./process.jl:156 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:178
  [4] #_spawn##0
    @ ./process.jl:148 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:235
  [6] _spawn
    @ ./process.jl:147 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:515
  [8] run
    @ ./process.jl:509 [inlined]
  [9] _spawn(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/build.jl:55
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:23
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1445
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1433
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1321
 [16] _include_from_serialized
    @ ./loading.jl:1276 [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:2116
 [18] _require_search_from_serialized
    @ ./loading.jl:2010 [inlined]
 [19] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2628
 [20] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2494
 [21] macro expansion
    @ ./loading.jl:2422 [inlined]
 [22] macro expansion
    @ ./lock.jl:376 [inlined]
 [23] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2387
 [24] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2363
 [25] top-level scope
    @ ~/.julia/packages/Fatou/3H4CW/src/Fatou.jl:2
 [26] include(mod::Module, _path::String)
    @ Base ./Base.jl:306
 [27] 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:3027
 [28] top-level scope
    @ stdin:5
 [29] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [30] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2873
 [31] include_string
    @ ./loading.jl:2883 [inlined]
 [32] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:315
 [33] _start()
    @ Base ./client.jl:55
in expression starting at /PkgEval.jl/scripts/precompile.jl:34

Precompilation failed after 36.41s



################################################################################
# Testing
#

     Testing Fatou
      Status `/tmp/jl_1Xerwt/Project.toml`
  [35d6a980] ColorSchemes v3.31.0
  [5f923234] Fatou v1.2.4
  [b964fa9f] LaTeXStrings v1.4.0
  [93e0c654] Reduce v1.2.16
  [ae029012] Requires v1.3.1
  [a4af3ec5] SyntaxTree v1.0.1
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_1Xerwt/Manifest.toml`
  [398f06c4] AbstractLattices v0.3.1
  [a8e43f4a] AbstractTensors v0.8.11
  [35d6a980] ColorSchemes v3.31.0
  [3da002f7] ColorTypes v0.12.1
  [c3611d14] ColorVectorSpace v0.11.0
  [5ae59095] Colors v0.13.1
  [5f923234] Fatou v1.2.4
⌅ [53c48c17] FixedPointNumbers v0.8.6
  [9dda63f9] ForceImport v0.0.3
  [b964fa9f] LaTeXStrings v1.4.0
  [aea7be01] PrecompileTools v1.3.4
  [21216c6a] Preferences v1.5.2
  [93e0c654] Reduce v1.2.16
  [189a3867] Reexport v1.2.2
  [b873ce64] ReplMaker v0.2.7
  [ae029012] Requires v1.3.1
  [20fadf95] StaticVectors v1.0.9
  [10745b16] Statistics v1.11.1
  [a4af3ec5] SyntaxTree v1.0.1
  [62fd8b95] TensorCore v0.1.1
  [56f22d72] Artifacts v1.11.0
  [2a0f44e3] Base64 v1.11.0
  [ade2ca70] Dates 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
  [de0858da] Printf 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
  [fa267f1f] TOML v1.0.3
  [8dfed614] Test v1.11.0
  [cf7118a7] UUIDs 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.15.0+0
        Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading.
     Testing Running tests...
Precompiling packages...
Info Given Fatou was explicitly requested, output will be shown live 
ERROR: LoadError: InitError: IOError: could not spawn `/home/pkgeval/.julia/packages/Reduce/2dYLC/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:139
  [2] _spawn
    @ ./process.jl:156 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:178
  [4] #_spawn##0
    @ ./process.jl:148 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:235
  [6] _spawn
    @ ./process.jl:147 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:515
  [8] run
    @ ./process.jl:509 [inlined]
  [9] _spawn(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/build.jl:55
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:25
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1445
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1433
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1321
 [16] _include_from_serialized
    @ ./loading.jl:1276 [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:2116
 [18] _require_search_from_serialized
    @ ./loading.jl:2010 [inlined]
 [19] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2628
 [20] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2494
 [21] macro expansion
    @ ./loading.jl:2422 [inlined]
 [22] macro expansion
    @ ./lock.jl:376 [inlined]
 [23] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2387
 [24] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2363
 [25] top-level scope
    @ ~/.julia/packages/Fatou/3H4CW/src/Fatou.jl:2
 [26] include(mod::Module, _path::String)
    @ Base ./Base.jl:306
 [27] 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:3027
 [28] top-level scope
    @ stdin:5
 [29] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [30] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2873
 [31] include_string
    @ ./loading.jl:2883 [inlined]
 [32] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:315
 [33] _start()
    @ Base ./client.jl:550
during initialization of module Reduce
in expression starting at /home/pkgeval/.julia/packages/Fatou/3H4CW/src/Fatou.jl:1
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:139
  [2] _spawn
    @ ./process.jl:156 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:178
  [4] #_spawn##0
    @ ./process.jl:148 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:235
  [6] _spawn
    @ ./process.jl:147 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:515
  [8] run
    @ ./process.jl:509 [inlined]
  [9] _spawn(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/build.jl:55
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:23
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1445
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1433
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1321
 [16] _include_from_serialized
    @ ./loading.jl:1276 [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:2116
 [18] _require_search_from_serialized
    @ ./loading.jl:2010 [inlined]
 [19] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2628
 [20] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2494
 [21] macro expansion
    @ ./loading.jl:2422 [inlined]
 [22] macro expansion
    @ ./lock.jl:376 [inlined]
 [23] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2387
 [24] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2363
 [25] top-level scope
    @ ~/.julia/packages/Fatou/3H4CW/src/Fatou.jl:2
 [26] include(mod::Module, _path::String)
    @ Base ./Base.jl:306
 [27] 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:3027
 [28] top-level scope
    @ stdin:5
 [29] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [30] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2873
 [31] include_string
    @ ./loading.jl:2883 [inlined]
 [32] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:315
 [33] _start()
    @ Base ./client.jl:550
              ✗ Fatou
  0 dependencies successfully precompiled in 17 seconds. 34 already precompiled.

ERROR: LoadError: The following 1 direct dependency failed to precompile:

Fatou 

Failed to precompile Fatou [5f923234-c850-556d-bb4f-28324fa1959a] to "/home/pkgeval/.julia/compiled/v1.12/Fatou/jl_DX8WFF".
ERROR: LoadError: InitError: IOError: could not spawn `/home/pkgeval/.julia/packages/Reduce/2dYLC/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:139
  [2] _spawn
    @ ./process.jl:156 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:178
  [4] #_spawn##0
    @ ./process.jl:148 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:235
  [6] _spawn
    @ ./process.jl:147 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:515
  [8] run
    @ ./process.jl:509 [inlined]
  [9] _spawn(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/build.jl:55
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:25
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1445
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1433
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1321
 [16] _include_from_serialized
    @ ./loading.jl:1276 [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:2116
 [18] _require_search_from_serialized
    @ ./loading.jl:2010 [inlined]
 [19] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2628
 [20] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2494
 [21] macro expansion
    @ ./loading.jl:2422 [inlined]
 [22] macro expansion
    @ ./lock.jl:376 [inlined]
 [23] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2387
 [24] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2363
 [25] top-level scope
    @ ~/.julia/packages/Fatou/3H4CW/src/Fatou.jl:2
 [26] include(mod::Module, _path::String)
    @ Base ./Base.jl:306
 [27] 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:3027
 [28] top-level scope
    @ stdin:5
 [29] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [30] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2873
 [31] include_string
    @ ./loading.jl:2883 [inlined]
 [32] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:315
 [33] _start()
    @ Base ./client.jl:550
during initialization of module Reduce
in expression starting at /home/pkgeval/.julia/packages/Fatou/3H4CW/src/Fatou.jl:1
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:139
  [2] _spawn
    @ ./process.jl:156 [inlined]
  [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.SyncCloseFD, IO}}) (repeats 3 times)
    @ Base ./process.jl:178
  [4] #_spawn##0
    @ ./process.jl:148 [inlined]
  [5] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, IO}})
    @ Base ./process.jl:235
  [6] _spawn
    @ ./process.jl:147 [inlined]
  [7] run(::Base.CmdRedirect; wait::Bool)
    @ Base ./process.jl:515
  [8] run
    @ ./process.jl:509 [inlined]
  [9] _spawn(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/build.jl:55
 [10] Reduce.PSL()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:23
 [11] Load()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:334
 [12] __init__()
    @ Reduce ~/.julia/packages/Reduce/2dYLC/src/Reduce.jl:329
 [13] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:1445
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1433
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}; register::Bool)
    @ Base ./loading.jl:1321
 [16] _include_from_serialized
    @ ./loading.jl:1276 [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:2116
 [18] _require_search_from_serialized
    @ ./loading.jl:2010 [inlined]
 [19] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2628
 [20] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2494
 [21] macro expansion
    @ ./loading.jl:2422 [inlined]
 [22] macro expansion
    @ ./lock.jl:376 [inlined]
 [23] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2387
 [24] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2363
 [25] top-level scope
    @ ~/.julia/packages/Fatou/3H4CW/src/Fatou.jl:2
 [26] include(mod::Module, _path::String)
    @ Base ./Base.jl:306
 [27] 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:3027
 [28] top-level scope
    @ stdin:5
 [29] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [30] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2873
 [31] include_string
    @ ./loading.jl:2883 [inlined]
 [32] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:315
 [33] _start()
    @ Base ./client.jl:55
in expression starting at /home/pkgeval/.julia/packages/Fatou/3H4CW/test/runtests.jl:1

Testing failed after 28.08s

ERROR: LoadError: Package Fatou 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:2538
  [3] test
    @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2387 [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:552
  [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:169
  [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:157
  [7] test
    @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:157 [inlined]
  [8] #test#81
    @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:156 [inlined]
  [9] top-level scope
    @ /PkgEval.jl/scripts/evaluate.jl:223
 [10] include(mod::Module, _path::String)
    @ Base ./Base.jl:306
 [11] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:317
 [12] _start()
    @ Base ./client.jl:550
in expression starting at /PkgEval.jl/scripts/evaluate.jl:214

PkgEval failed after 94.04s: package fails to precompile