Package evaluation to load PropCheck on Julia 1.14.0-DEV.2309 (6e1a27e459*) started at 2026-06-06T05:31:39.379 ################################################################################ # Set-up # Set-up completed after 0.13s ################################################################################ # Installation # Installing PropCheck... Resolving package versions... Installed RequiredInterfaces ─ v0.1.7 Installed Compat ───────────── v4.18.1 Installed PropCheck ────────── v0.10.1 Updating `~/.julia/environments/v1.14/Project.toml` [ca382230] + PropCheck v0.10.1 Updating `~/.julia/environments/v1.14/Manifest.toml` [34da2185] + Compat v4.18.1 [ca382230] + PropCheck v0.10.1 [97f35ef4] + RequiredInterfaces v0.1.7 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 Installation completed after 6.9s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml` Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml` Precompiling package dependencies... Precompiling project... 43.4 s ✓ RequiredInterfaces 1.6 s ✓ Compat 0.7 s ✓ Compat → CompatLinearAlgebraExt ┌ Info: JuliaLowering threw given input: │ code = │ :(function shrinkTowards(to::T) where T <: Union{Char, Real} │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:274 =# │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# │ function (x::T,) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:276 =# │ ret = T[] │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:277 =# │ to == x && return ret │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:278 =# │ diff = half(x) - half(to) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:279 =# │ while diff != 0 │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:280 =# │ pval = x - diff │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:281 =# │ push!(ret, x - diff) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:282 =# │ diff = div(diff, 2) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:283 =# │ end │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:284 =# │ (isempty(ret) || first(ret) != to) && pushfirst!(ret, to) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:285 =# │ return ret │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [function] │ │ [where] │ │ [call] │ │ shrinkTowards :: Identifier │ │ [::] │ │ to :: Identifier │ │ T :: Identifier │ │ [<:] │ │ T :: Identifier │ │ [curly] │ │ Union :: Identifier │ │ Char :: Identifier │ │ Real :: Identifier │ │ [block] │ │ [function] │ │ [tuple] │ │ [::] │ │ x :: Identifier │ │ T :: Identifier │ │ [block] │ │ [=] │ │ ret :: Identifier │ │ [ref] │ │ T :: Identifier │ │ [&&] │ │ [call] │ │ == :: Identifier │ │ to :: Identifier │ │ x :: Identifier │ │ [return] │ │ ret :: Identifier │ │ [=] │ │ diff :: Identifier │ │ [call] │ │ - :: Identifier │ │ [call] │ │ half :: Identifier │ │ x :: Identifier │ │ [call] │ │ half :: Identifier │ │ to :: Identifier │ │ [while] │ │ [call] │ │ != :: Identifier │ │ diff :: Identifier │ │ 0 :: Value │ │ [block] │ │ [=] │ │ pval :: Identifier │ │ [call] │ │ - :: Identifier │ │ x :: Identifier │ │ diff :: Identifier │ │ [call] │ │ push! :: Identifier │ │ ret :: Identifier │ │ [call] │ │ - :: Identifier │ │ x :: Identifier │ │ diff :: Identifier │ │ [=] │ │ diff :: Identifier │ │ [call] │ │ div :: Identifier │ │ diff :: Identifier │ │ 2 :: Value │ │ [&&] │ │ [||] │ │ [call] │ │ isempty :: Identifier │ │ ret :: Identifier │ │ [call] │ │ != :: Identifier │ │ [call] │ │ first :: Identifier │ │ ret :: Identifier │ │ to :: Identifier │ │ [call] │ │ pushfirst! :: Identifier │ │ ret :: Identifier │ │ to :: Identifier │ │ [return] │ │ ret :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [function] │ │ [where] │ │ [call] │ │ shrinkTowards :: Identifier │ scope_layer=1 │ [::] │ │ to :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [curly] │ │ Union :: Identifier │ scope_layer=1 │ Char :: Identifier │ scope_layer=1 │ Real :: Identifier │ scope_layer=1 │ [block] │ │ [function] │ │ [tuple] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ ret :: Identifier │ scope_layer=1 │ [ref] │ │ T :: Identifier │ scope_layer=1 │ [&&] │ │ [call] │ │ == :: Identifier │ scope_layer=1 │ to :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ [return] │ │ ret :: Identifier │ scope_layer=1 │ [=] │ │ diff :: Identifier │ scope_layer=1 │ [call] │ │ - :: Identifier │ scope_layer=1 │ [call] │ │ half :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ [call] │ │ half :: Identifier │ scope_layer=1 │ to :: Identifier │ scope_layer=1 │ [while] │ │ [call] │ │ != :: Identifier │ scope_layer=1 │ diff :: Identifier │ scope_layer=1 │ 0 :: Value │ │ [block] │ │ [=] │ │ pval :: Identifier │ scope_layer=1 │ [call] │ │ - :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ diff :: Identifier │ scope_layer=1 │ [call] │ │ push! :: Identifier │ scope_layer=1 │ ret :: Identifier │ scope_layer=1 │ [call] │ │ - :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ diff :: Identifier │ scope_layer=1 │ [=] │ │ diff :: Identifier │ scope_layer=1 │ [call] │ │ div :: Identifier │ scope_layer=1 │ diff :: Identifier │ scope_layer=1 │ 2 :: Value │ │ [&&] │ │ [||] │ │ [call] │ │ isempty :: Identifier │ scope_layer=1 │ ret :: Identifier │ scope_layer=1 │ [call] │ │ != :: Identifier │ scope_layer=1 │ [call] │ │ first :: Identifier │ scope_layer=1 │ ret :: Identifier │ scope_layer=1 │ to :: Identifier │ scope_layer=1 │ [call] │ │ pushfirst! :: Identifier │ scope_layer=1 │ ret :: Identifier │ scope_layer=1 │ to :: Identifier │ scope_layer=1 │ [return] │ │ ret :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl" │ line = 274 └ mod = PropCheck ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# - Found unexpected binding of kind static_parameter Expression:  #₁₀/T Containing expressions:  (= #₃₂/T #₁₀/T)  (= #₂ (call core.svec (call core.svec #₂₆/#shrinkTowards##anon###0 #₁₀/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275:0))  (= #₂ (call core.svec (call core.svec (function_type #₁₁/#anon#) #₁₀/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275:0))  Detailed provenance:  #₁₀/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [7] top-level scope  @ ~/.julia/packages/PropCheck/AK4AW/src/PropCheck.jl:48  [8] include(mod::Module, _path::String)  @ Base Base.jl:326  [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3296  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core boot.jl:521  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [13] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [15] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:274 in expression starting at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/PropCheck.jl:1 in expression starting at stdin:5 ✗ PropCheck 3 dependencies successfully precompiled in 231 seconds. 13 already precompiled. Precompilation completed after 253.01s ################################################################################ # Loading # Loading PropCheck... ┌ Info: JuliaLowering threw given input: │ code = │ :(function shrinkTowards(to::T) where T <: Union{Char, Real} │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:274 =# │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# │ function (x::T,) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:276 =# │ ret = T[] │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:277 =# │ to == x && return ret │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:278 =# │ diff = half(x) - half(to) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:279 =# │ while diff != 0 │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:280 =# │ pval = x - diff │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:281 =# │ push!(ret, x - diff) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:282 =# │ diff = div(diff, 2) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:283 =# │ end │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:284 =# │ (isempty(ret) || first(ret) != to) && pushfirst!(ret, to) │ #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:285 =# │ return ret │ end │ end) │ st0 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source,__macro_ctx__ │ [function] │ │ [where] │ │ [call] │ │ shrinkTowards :: Identifier │ │ [::] │ │ to :: Identifier │ │ T :: Identifier │ │ [<:] │ │ T :: Identifier │ │ [curly] │ │ Union :: Identifier │ │ Char :: Identifier │ │ Real :: Identifier │ │ [block] │ │ [function] │ │ [tuple] │ │ [::] │ │ x :: Identifier │ │ T :: Identifier │ │ [block] │ │ [=] │ │ ret :: Identifier │ │ [ref] │ │ T :: Identifier │ │ [&&] │ │ [call] │ │ == :: Identifier │ │ to :: Identifier │ │ x :: Identifier │ │ [return] │ │ ret :: Identifier │ │ [=] │ │ diff :: Identifier │ │ [call] │ │ - :: Identifier │ │ [call] │ │ half :: Identifier │ │ x :: Identifier │ │ [call] │ │ half :: Identifier │ │ to :: Identifier │ │ [while] │ │ [call] │ │ != :: Identifier │ │ diff :: Identifier │ │ 0 :: Value │ │ [block] │ │ [=] │ │ pval :: Identifier │ │ [call] │ │ - :: Identifier │ │ x :: Identifier │ │ diff :: Identifier │ │ [call] │ │ push! :: Identifier │ │ ret :: Identifier │ │ [call] │ │ - :: Identifier │ │ x :: Identifier │ │ diff :: Identifier │ │ [=] │ │ diff :: Identifier │ │ [call] │ │ div :: Identifier │ │ diff :: Identifier │ │ 2 :: Value │ │ [&&] │ │ [||] │ │ [call] │ │ isempty :: Identifier │ │ ret :: Identifier │ │ [call] │ │ != :: Identifier │ │ [call] │ │ first :: Identifier │ │ ret :: Identifier │ │ to :: Identifier │ │ [call] │ │ pushfirst! :: Identifier │ │ ret :: Identifier │ │ to :: Identifier │ │ [return] │ │ ret :: Identifier │ │ │ st1 = │ SyntaxTree with attributes mod,kind,var_id,toplevel_pure,scope_type,macro_source,name_val,syntax_flags,meta,scope_layer,value,jl_source,is_toplevel_thunk,source │ [function] │ │ [where] │ │ [call] │ │ shrinkTowards :: Identifier │ scope_layer=1 │ [::] │ │ to :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [<:] │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [curly] │ │ Union :: Identifier │ scope_layer=1 │ Char :: Identifier │ scope_layer=1 │ Real :: Identifier │ scope_layer=1 │ [block] │ │ [function] │ │ [tuple] │ │ [::] │ │ x :: Identifier │ scope_layer=1 │ T :: Identifier │ scope_layer=1 │ [block] │ │ [=] │ │ ret :: Identifier │ scope_layer=1 │ [ref] │ │ T :: Identifier │ scope_layer=1 │ [&&] │ │ [call] │ │ == :: Identifier │ scope_layer=1 │ to :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ [return] │ │ ret :: Identifier │ scope_layer=1 │ [=] │ │ diff :: Identifier │ scope_layer=1 │ [call] │ │ - :: Identifier │ scope_layer=1 │ [call] │ │ half :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ [call] │ │ half :: Identifier │ scope_layer=1 │ to :: Identifier │ scope_layer=1 │ [while] │ │ [call] │ │ != :: Identifier │ scope_layer=1 │ diff :: Identifier │ scope_layer=1 │ 0 :: Value │ │ [block] │ │ [=] │ │ pval :: Identifier │ scope_layer=1 │ [call] │ │ - :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ diff :: Identifier │ scope_layer=1 │ [call] │ │ push! :: Identifier │ scope_layer=1 │ ret :: Identifier │ scope_layer=1 │ [call] │ │ - :: Identifier │ scope_layer=1 │ x :: Identifier │ scope_layer=1 │ diff :: Identifier │ scope_layer=1 │ [=] │ │ diff :: Identifier │ scope_layer=1 │ [call] │ │ div :: Identifier │ scope_layer=1 │ diff :: Identifier │ scope_layer=1 │ 2 :: Value │ │ [&&] │ │ [||] │ │ [call] │ │ isempty :: Identifier │ scope_layer=1 │ ret :: Identifier │ scope_layer=1 │ [call] │ │ != :: Identifier │ scope_layer=1 │ [call] │ │ first :: Identifier │ scope_layer=1 │ ret :: Identifier │ scope_layer=1 │ to :: Identifier │ scope_layer=1 │ [call] │ │ pushfirst! :: Identifier │ scope_layer=1 │ ret :: Identifier │ scope_layer=1 │ to :: Identifier │ scope_layer=1 │ [return] │ │ ret :: Identifier │ scope_layer=1 │ │ file = "/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl" │ line = 274 └ mod = PropCheck ERROR: LoadError: LoweringError: #= /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275 =# - Found unexpected binding of kind static_parameter Expression:  #₁₀/T Containing expressions:  (= #₃₂/T #₁₀/T)  (= #₂ (call core.svec (call core.svec #₂₆/#shrinkTowards##anon###0 #₁₀/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275:0))  (= #₂ (call core.svec (call core.svec (function_type #₁₁/#anon#) #₁₀/T) (call core.svec) SourceLocation:/home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275:0))  Detailed provenance:  #₁₀/T  └─ T  └─ T  └─ @ /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:275  Stacktrace:  [1] _renumber(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ssa_rewrites::Dict{Int64, Int64}, slot_rewrites::Dict{Int64, Int64}, label_table::Dict{Int64, Int64}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1091  [2] renumber_body(ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, input_code::Base.JuliaSyntax.SyntaxList{Dict{Symbol, Dict{Int64, Any}}, Vector{Int64}}, slot_rewrites::Dict{Int64, Int64})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1156  [3] compile_lambda(outer_ctx::Base.JuliaLowering.LinearIRContext{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1251  [4] linearize_ir(ctx::Base.JuliaLowering.ClosureConversionCtx{Dict{Symbol, Dict{Int64, Any}}}, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}})  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/linear_ir.jl:1281  [5] core_lowering_hook(code::Any, mod::Module, file::String, line::UInt64, world::UInt64, _warn::Bool)  @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/hooks.jl:33  [6] include(mapexpr::Function, mod::Module, _path::String)  @ Base Base.jl:327  [7] top-level scope  @ ~/.julia/packages/PropCheck/AK4AW/src/PropCheck.jl:48  [8] include(mod::Module, _path::String)  @ Base Base.jl:326  [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3296  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core boot.jl:521  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base loading.jl:3132  [13] include_string(m::Module, txt::String, fname::String)  @ Base loading.jl:3142 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base client.jl:353  [15] _start()  @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/shrinkers.jl:274 in expression starting at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/PropCheck.jl:1 in expression starting at stdin:5 1 dependency had output during precompilation: ┌ PropCheck │ [Output was shown above] └ ERROR: The following 1 package failed to precompile: PropCheck Failed to precompile PropCheck [ca382230-33be-11e9-0059-d981d03070e4] to "/home/pkgeval/.julia/compiled/v1.14/PropCheck/jl_KKv08F" (ProcessExited(1)). Loading failed after 183.89s ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --check-bounds=yes --pkgimages=existing -e 'using PropCheck'`, ProcessExited(1)) [1] Stacktrace: [1] pipeline_error(proc::Base.Process) @ Base process.jl:612 [inlined] [2] run(::Cmd; wait::Bool) @ Base process.jl:525 [3] run(::Cmd) @ Base process.jl:522 [4] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:197 [5] include(mod::Module, _path::String) @ Base Base.jl:326 [6] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [7] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:188 PkgEval failed after 466.36s: package fails to precompile