Package evaluation of Fatou on Julia 1.12.0-DEV.1805 (a080deafdd*) started at 2025-03-24T13:48:02.001


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

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 8.74s


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

Installing Fatou...
   Resolving package versions...
    Updating `~/.julia/environments/v1.12/Project.toml`
  [5f923234] + Fatou v1.2.1
    Updating `~/.julia/environments/v1.12/Manifest.toml`
  [398f06c4] + AbstractLattices v0.3.1
  [a8e43f4a] + AbstractTensors v0.8.8
  [35d6a980] + ColorSchemes v3.29.0
  [3da002f7] + ColorTypes v0.12.0
  [c3611d14] + ColorVectorSpace v0.11.0
  [5ae59095] + Colors v0.13.0
  [5f923234] + Fatou v1.2.1
  [53c48c17] + FixedPointNumbers v0.8.5
  [9dda63f9] + ForceImport v0.0.3
  [b964fa9f] + LaTeXStrings v1.4.0
  [aea7be01] + PrecompileTools v1.2.1
  [21216c6a] + Preferences v1.4.3
  [93e0c654] + Reduce v1.2.15
  [189a3867] + Reexport v1.2.2
  [b873ce64] + ReplMaker v0.2.7
  [ae029012] + Requires v1.3.1
  [20fadf95] + StaticVectors v1.0.8
  [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
  [dc6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [8f399da3] + Libdl v1.11.0
  [37e2e46d] + LinearAlgebra v1.11.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.2.0+0
  [4536629a] + OpenBLAS_jll v0.3.28+3
  [8e850b90] + libblastrampoline_jll v5.11.2+0

Installation completed after 2.02s


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

Precompiling PkgEval dependencies...

Precompiling package dependencies...
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_0TAOh9".
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(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/build.jl:53
 [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:1419
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1407
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}, ignore_native::Nothing; register::Bool)
    @ Base ./loading.jl:1295
 [16] _include_from_serialized (repeats 2 times)
    @ ./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:2121
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2621
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2484
 [20] macro expansion
    @ ./loading.jl:2412 [inlined]
 [21] macro expansion
    @ ./lock.jl:294 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2369
 [23] #invoke_in_world#2
    @ ./essentials.jl:1091 [inlined]
 [24] invoke_in_world
    @ ./essentials.jl:1087 [inlined]
 [25] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2361
 [26] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [27] include(mod::Module, _path::String)
    @ Base ./Base.jl:300
 [28] 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:2995
 [29] top-level scope
    @ stdin:6
 [30] eval(m::Module, e::Any)
    @ Core ./boot.jl:485
 [31] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [32] include_string
    @ ./loading.jl:2856 [inlined]
 [33] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:327
 [34] _start()
    @ Base ./client.jl:558
during initialization of module Reduce
in expression starting at /home/pkgeval/.julia/packages/Fatou/PB1wu/src/Fatou.jl:1
in expression starting at stdin:6

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(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/build.jl:53
 [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:1419
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1407
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}, ignore_native::Nothing; register::Bool)
    @ Base ./loading.jl:1295
 [16] _include_from_serialized (repeats 2 times)
    @ ./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:2121
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2621
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2484
 [20] macro expansion
    @ ./loading.jl:2412 [inlined]
 [21] macro expansion
    @ ./lock.jl:294 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2369
 [23] #invoke_in_world#2
    @ ./essentials.jl:1091 [inlined]
 [24] invoke_in_world
    @ ./essentials.jl:1087 [inlined]
 [25] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2361
 [26] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [27] include(mod::Module, _path::String)
    @ Base ./Base.jl:300
 [28] 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:2995
 [29] top-level scope
    @ stdin:6
 [30] eval(m::Module, e::Any)
    @ Core ./boot.jl:485
 [31] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [32] include_string
    @ ./loading.jl:2856 [inlined]
 [33] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:327
 [34] _start()
    @ Base ./client.jl:55
in expression starting at /PkgEval.jl/scripts/precompile.jl:37

Precompilation failed after 28.05s



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

     Testing Fatou
      Status `/tmp/jl_tm7YDW/Project.toml`
  [35d6a980] ColorSchemes v3.29.0
  [5f923234] Fatou v1.2.1
  [b964fa9f] LaTeXStrings v1.4.0
  [93e0c654] Reduce v1.2.15
  [ae029012] Requires v1.3.1
  [a4af3ec5] SyntaxTree v1.0.1
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_tm7YDW/Manifest.toml`
  [398f06c4] AbstractLattices v0.3.1
  [a8e43f4a] AbstractTensors v0.8.8
  [35d6a980] ColorSchemes v3.29.0
  [3da002f7] ColorTypes v0.12.0
  [c3611d14] ColorVectorSpace v0.11.0
  [5ae59095] Colors v0.13.0
  [5f923234] Fatou v1.2.1
  [53c48c17] FixedPointNumbers v0.8.5
  [9dda63f9] ForceImport v0.0.3
  [b964fa9f] LaTeXStrings v1.4.0
  [aea7be01] PrecompileTools v1.2.1
  [21216c6a] Preferences v1.4.3
  [93e0c654] Reduce v1.2.15
  [189a3867] Reexport v1.2.2
  [b873ce64] ReplMaker v0.2.7
  [ae029012] Requires v1.3.1
  [20fadf95] StaticVectors v1.0.8
  [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
  [dc6e5ff7] JuliaSyntaxHighlighting v1.12.0
  [8f399da3] Libdl v1.11.0
  [37e2e46d] LinearAlgebra v1.11.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.2.0+0
  [4536629a] OpenBLAS_jll v0.3.28+3
  [8e850b90] libblastrampoline_jll v5.11.2+0
     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/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(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/build.jl:53
 [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:1419
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1407
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}, ignore_native::Nothing; register::Bool)
    @ Base ./loading.jl:1295
 [16] _include_from_serialized (repeats 2 times)
    @ ./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:2121
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2621
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2484
 [20] macro expansion
    @ ./loading.jl:2412 [inlined]
 [21] macro expansion
    @ ./lock.jl:294 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2369
 [23] #invoke_in_world#2
    @ ./essentials.jl:1091 [inlined]
 [24] invoke_in_world
    @ ./essentials.jl:1087 [inlined]
 [25] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2361
 [26] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [27] include(mod::Module, _path::String)
    @ Base ./Base.jl:300
 [28] 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:2995
 [29] top-level scope
    @ stdin:6
 [30] eval(m::Module, e::Any)
    @ Core ./boot.jl:485
 [31] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [32] include_string
    @ ./loading.jl:2856 [inlined]
 [33] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:327
 [34] _start()
    @ Base ./client.jl:558
during initialization of module Reduce
in expression starting at /home/pkgeval/.julia/packages/Fatou/PB1wu/src/Fatou.jl:1
in expression starting at stdin:6

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(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/build.jl:53
 [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:1419
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1407
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}, ignore_native::Nothing; register::Bool)
    @ Base ./loading.jl:1295
 [16] _include_from_serialized (repeats 2 times)
    @ ./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:2121
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2621
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2484
 [20] macro expansion
    @ ./loading.jl:2412 [inlined]
 [21] macro expansion
    @ ./lock.jl:294 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2369
 [23] #invoke_in_world#2
    @ ./essentials.jl:1091 [inlined]
 [24] invoke_in_world
    @ ./essentials.jl:1087 [inlined]
 [25] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2361
 [26] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [27] include(mod::Module, _path::String)
    @ Base ./Base.jl:300
 [28] 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:2995
 [29] top-level scope
    @ stdin:6
 [30] eval(m::Module, e::Any)
    @ Core ./boot.jl:485
 [31] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [32] include_string
    @ ./loading.jl:2856 [inlined]
 [33] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:327
 [34] _start()
    @ Base ./client.jl:558
           ✗ Fatou
  0 dependencies successfully precompiled in 10 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_iUkj6n".
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(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/build.jl:53
 [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:1419
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1407
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}, ignore_native::Nothing; register::Bool)
    @ Base ./loading.jl:1295
 [16] _include_from_serialized (repeats 2 times)
    @ ./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:2121
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2621
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2484
 [20] macro expansion
    @ ./loading.jl:2412 [inlined]
 [21] macro expansion
    @ ./lock.jl:294 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2369
 [23] #invoke_in_world#2
    @ ./essentials.jl:1091 [inlined]
 [24] invoke_in_world
    @ ./essentials.jl:1087 [inlined]
 [25] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2361
 [26] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [27] include(mod::Module, _path::String)
    @ Base ./Base.jl:300
 [28] 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:2995
 [29] top-level scope
    @ stdin:6
 [30] eval(m::Module, e::Any)
    @ Core ./boot.jl:485
 [31] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [32] include_string
    @ ./loading.jl:2856 [inlined]
 [33] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:327
 [34] _start()
    @ Base ./client.jl:558
during initialization of module Reduce
in expression starting at /home/pkgeval/.julia/packages/Fatou/PB1wu/src/Fatou.jl:1
in expression starting at stdin:6

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(cmd::Cmd, input::Pipe, output::Pipe)
    @ Reduce ~/.julia/packages/Reduce/uoKuq/src/build.jl:53
 [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:1419
 [14] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1407
 [15] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::Nothing, depmods::Vector{Any}, ignore_native::Nothing; register::Bool)
    @ Base ./loading.jl:1295
 [16] _include_from_serialized (repeats 2 times)
    @ ./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:2121
 [18] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2621
 [19] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2484
 [20] macro expansion
    @ ./loading.jl:2412 [inlined]
 [21] macro expansion
    @ ./lock.jl:294 [inlined]
 [22] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2369
 [23] #invoke_in_world#2
    @ ./essentials.jl:1091 [inlined]
 [24] invoke_in_world
    @ ./essentials.jl:1087 [inlined]
 [25] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2361
 [26] top-level scope
    @ ~/.julia/packages/Fatou/PB1wu/src/Fatou.jl:2
 [27] include(mod::Module, _path::String)
    @ Base ./Base.jl:300
 [28] 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:2995
 [29] top-level scope
    @ stdin:6
 [30] eval(m::Module, e::Any)
    @ Core ./boot.jl:485
 [31] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2846
 [32] include_string
    @ ./loading.jl:2856 [inlined]
 [33] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:327
 [34] _start()
    @ Base ./client.jl:55
in expression starting at /home/pkgeval/.julia/packages/Fatou/PB1wu/test/runtests.jl:1

Testing failed after 17.57s

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{Pkg.Types.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:2359
  [3] test
    @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/Operations.jl:2214 [inlined]
  [4] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.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:481
  [5] test(pkgs::Vector{Pkg.Types.PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:159
  [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:147
  [7] test
    @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:147 [inlined]
  [8] #test#81
    @ /opt/julia/share/julia/stdlib/v1.12/Pkg/src/API.jl:146 [inlined]
  [9] top-level scope
    @ /PkgEval.jl/scripts/evaluate.jl:219
 [10] include(mod::Module, _path::String)
    @ Base ./Base.jl:300
 [11] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [12] _start()
    @ Base ./client.jl:558
in expression starting at /PkgEval.jl/scripts/evaluate.jl:210

PkgEval failed after 70.79s: package fails to precompile