Package evaluation to test PropCheck on Julia 1.14.0-DEV.1372 (893635dc59*) started at 2025-12-16T13:16:56.853 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 9.47s ################################################################################ # Installation # Installing PropCheck... Resolving package versions... 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.0.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 1.24s ################################################################################ # Precompilation # ERROR: LoadError: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Nothing) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:10 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:577 in expression starting at /PkgEval.jl/scripts/precompile.jl:6 caused by: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Base.DevNull) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:7 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:577 Precompilation failed after 12.78s ################################################################################ # Testing # Testing PropCheck Status `/tmp/jl_GqFGcq/Project.toml` [ca382230] PropCheck v0.10.1 [97f35ef4] RequiredInterfaces v0.1.7 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_GqFGcq/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.0.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 Testing Running tests... ┌ Info: RNG state is: └ RNG = Random.Xoshiro(0x442ecb94f907d97e, 0x9d80012d303b3fea, 0xda2f8f30c892b8b2, 0xa20aa579bf697b0b, 0x265bced0f79358bf) Core.BFloat16: Error During Test at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:153 Test threw exception Expression: numsToZero(T) MethodError: no method matching Random.Sampler(::Type{Random.TaskLocalRNG}, ::Random.SamplerTrivial{Random.CloseOpen01{Core.BFloat16}, Core.BFloat16}, ::Val{1}) This error has been manually thrown, explicitly, so the method may exist but be intentionally marked as unimplemented. Closest candidates are: Random.Sampler(::Type{<:Random.AbstractRNG}, ::Random.Sampler, ::Union{Val{1}, Val{Inf}}) @ Random /opt/julia/share/julia/stdlib/v1.14/Random/src/Random.jl:149 Random.Sampler(::Type{<:Random.AbstractRNG}, ::Any, ::Union{Val{1}, Val{Inf}}) @ Random /opt/julia/share/julia/stdlib/v1.14/Random/src/Random.jl:190 Random.Sampler(::Type{<:Random.AbstractRNG}, !Matched::BitSet, ::Union{Val{1}, Val{Inf}}) @ Random /opt/julia/share/julia/stdlib/v1.14/Random/src/generation.jl:495 ... Stacktrace: [1] Random.Sampler(T::Type{Random.TaskLocalRNG}, sp::Random.SamplerTrivial{Random.CloseOpen01{Core.BFloat16}, Core.BFloat16}, r::Val{1}) @ Random /opt/julia/share/julia/stdlib/v1.14/Random/src/Random.jl:149 [2] Random.Sampler(rng::Random.TaskLocalRNG, x::Random.SamplerTrivial{Random.CloseOpen01{Core.BFloat16}, Core.BFloat16}, r::Val{1}) @ Random /opt/julia/share/julia/stdlib/v1.14/Random/src/Random.jl:143 [3] rand(rng::Random.TaskLocalRNG, X::Random.SamplerTrivial{Random.CloseOpen01{Core.BFloat16}, Core.BFloat16}) @ Random /opt/julia/share/julia/stdlib/v1.14/Random/src/Random.jl:262 [4] rand(rng::Random.TaskLocalRNG, ::Type{Core.BFloat16}) @ Random /opt/julia/share/julia/stdlib/v1.14/Random/src/Random.jl:265 [5] generate(rng::Random.TaskLocalRNG, ::Type{Core.BFloat16}) @ PropCheck ~/.julia/packages/PropCheck/AK4AW/src/generators.jl:38 [6] (::PropCheck.var"#Generator##2#Generator##3"{Core.BFloat16})(rng::Random.TaskLocalRNG) @ PropCheck ~/.julia/packages/PropCheck/AK4AW/src/generators.jl:10 [7] generate(rng::Random.TaskLocalRNG, f::PropCheck.var"#Generator##2#Generator##3"{Core.BFloat16}) @ PropCheck ~/.julia/packages/PropCheck/AK4AW/src/generators.jl:32 [8] generate(rng::Random.TaskLocalRNG, g::Generator{Core.BFloat16, PropCheck.var"#Generator##2#Generator##3"{Core.BFloat16}}) @ PropCheck ~/.julia/packages/PropCheck/AK4AW/src/generators.jl:28 [9] (::PropCheck.var"#gen#Integrated##1"{Generator{Core.BFloat16, PropCheck.var"#Generator##2#Generator##3"{Core.BFloat16}}, typeof(shrink)})(rng::Random.TaskLocalRNG) @ PropCheck ~/.julia/packages/PropCheck/AK4AW/src/integrated.jl:85 [10] generate(rng::Random.TaskLocalRNG, f::PropCheck.var"#gen#Integrated##1"{Generator{Core.BFloat16, PropCheck.var"#Generator##2#Generator##3"{Core.BFloat16}}, typeof(shrink)}) @ PropCheck ~/.julia/packages/PropCheck/AK4AW/src/generators.jl:32 [11] generate(rng::Random.TaskLocalRNG, g::Generator{Tree{Core.BFloat16}, PropCheck.var"#gen#Integrated##1"{Generator{Core.BFloat16, PropCheck.var"#Generator##2#Generator##3"{Core.BFloat16}}, typeof(shrink)}}) @ PropCheck ~/.julia/packages/PropCheck/AK4AW/src/generators.jl:28 [12] (::PropCheck.var"#53#54"{Random.TaskLocalRNG, Generator{Tree{Core.BFloat16}, PropCheck.var"#gen#Integrated##1"{Generator{Core.BFloat16, PropCheck.var"#Generator##2#Generator##3"{Core.BFloat16}}, typeof(shrink)}}})(::Int64) @ PropCheck ./none:-1 [13] iterate @ ./generator.jl:48 [inlined] [14] collect @ ./array.jl:828 [inlined] [15] check(p::Function, i::Integrated{Tree{Core.BFloat16}, PropCheck.var"#gen#Integrated##1"{Generator{Core.BFloat16, PropCheck.var"#Generator##2#Generator##3"{Core.BFloat16}}, typeof(shrink)}}, rng::Random.TaskLocalRNG; ntests::Int64, show_initial::Bool, transform::typeof(identity)) @ PropCheck ~/.julia/packages/PropCheck/AK4AW/src/checking.jl:19 [16] check @ ~/.julia/packages/PropCheck/AK4AW/src/checking.jl:16 [inlined] [17] kwcall(::@NamedTuple{ntests::Int64}, ::typeof(check), p::Function, i::Integrated{Tree{Core.BFloat16}, PropCheck.var"#gen#Integrated##1"{Generator{Core.BFloat16, PropCheck.var"#Generator##2#Generator##3"{Core.BFloat16}}, typeof(shrink)}}) @ PropCheck ~/.julia/packages/PropCheck/AK4AW/src/checking.jl:16 [18] numsToZero(T::Type) @ Main ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:17 [19] eval_test_function(func::Any, args::Any, kwargs::Any, quoted_func::Union{Expr, Symbol}, source::LineNumberNode, negate::Bool) @ Test /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:394 [20] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:750 [inlined] [21] macro expansion @ ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:153 [inlined] [22] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2042 [inlined] [23] macro expansion @ ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:151 [inlined] [24] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [25] macro expansion @ ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:151 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:1961 [inlined] [27] macro expansion @ ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:119 [inlined] [28] macro expansion @ ./timing.jl:730 [inlined] [29] top-level scope @ ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:394 ┌ Info: Found counterexample for 'issorted', beginning shrinking... │ Counterexample = │ 8-element Vector{UInt8}: │ 0x62 │ 0x12 │ 0x2b │ 0xbc │ 0x93 │ 0xa8 │ 0xb5 └ 0x1e [ Info: 39 counterexamples found for issorted ┌ Info: Found counterexample for 'Base.Fix2{typeof(<), Int64}(<, 5)', beginning shrinking... └ Counterexample = 0xca [ Info: 9 counterexamples found for Base.Fix2{typeof(<), Int64}(<, 5) ┌ Info: Found counterexample for 'iseven', beginning shrinking... └ Counterexample = 0xcb [ Info: 5 counterexamples found for iseven ┌ Info: Found counterexample for 'throwingProperty', beginning shrinking... └ Counterexample = 0xcb ┌ Info: 8 counterexamples found for throwingProperty, of which 8 threw 1 distinct exception types │ Errors = │ 1-element Vector{ArgumentError}: └ ArgumentError("x not smaller than 5") ┌ Info: Found counterexample for '#interleaveFilterInvariant##2', beginning shrinking... │ Counterexample = │ 8-element Vector{UInt8}: │ 0x62 │ 0x12 │ 0x2b │ 0xbc │ 0x93 │ 0xa8 │ 0xb5 └ 0x1e [ Info: 37 counterexamples found for #interleaveFilterInvariant##2 ┌ Info: Found counterexample for '#interleaveMapInvariant##2', beginning shrinking... │ Counterexample = │ 3-element Vector{UInt8}: │ 0xbe │ 0x3b └ 0x00 [ Info: 3 counterexamples found for #interleaveMapInvariant##2 ┌ Info: Found counterexample for '#62', beginning shrinking... └ Counterexample = 2 [ Info: 1 counterexamples found for #62 Test Summary: | Pass Error Broken Total Time All Tests | 135 1 2 138 2m01.6s Interfaces | 12 12 7.7s Tear Float16 & reassemble, floating point generators | 10 10 6.3s Tear Float32 & reassemble, floating point generators | 10 10 3.2s Tear Float64 & reassemble, floating point generators | 10 10 3.9s Integer generators | 10 10 11.1s numsToZero | 14 1 2 17 17.7s Bool | 1 1 1.3s BigInt | 1 1 0.5s Int128 | 1 1 1.9s Int16 | 1 1 0.4s Int32 | 1 1 0.5s Int64 | 1 1 0.9s Int8 | 1 1 0.3s UInt128 | 1 1 1.6s UInt16 | 1 1 1.0s UInt32 | 1 1 1.1s UInt64 | 1 1 1.1s UInt8 | 1 1 1.1s BigFloat | 1 1 0.6s Core.BFloat16 | 1 1 3.4s Float16 | 1 1 0.4s Float32 | 1 1 0.4s Float64 | 1 1 1.0s filter predicates hold for shrunk values | 8 8 25.5s shrunk values of mapped generator are also even | 4 4 1.4s random vectors are sorted | 1 1 6.5s all even numbers are less than 5 | 1 1 1.2s there are only even numbers | 1 1 0.3s throwing properties still shrink | 1 1 2.6s stringsFromTypeToEmpty | 1 1 2.7s interleave preserves invariants | 2 2 2.2s initialVectorLengthIsboundedByRange | 1 1 1.5s `Integrated` can be `collect`ed | 1 1 0.1s convert Trees: Int8 | 2 2 0.1s convert Trees: Int64 | 2 2 0.1s type unstable constructors | 1 1 0.2s str preserves invariants | 1 1 5.5s vector preserves invariants | 1 1 0.3s IntegratedUnique | 1 1 1.2s IntegratedConst | 1 1 0.1s IntegratedVal | 2 2 3.1s FiniteIntegrated | 31 31 16.6s Inference | 6 6 0.5s RNG of the outermost testset: Random.Xoshiro(0x442ecb94f907d97e, 0x9d80012d303b3fea, 0xda2f8f30c892b8b2, 0xa20aa579bf697b0b, 0xcde72164b0799203) ERROR: LoadError: Some tests did not pass: 135 passed, 0 failed, 1 errored, 2 broken. in expression starting at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:118 Testing failed after 200.34s ERROR: LoadError: Package PropCheck 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:3067 [3] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:2916 [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.14/Pkg/src/API.jl:572 [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:548 [6] 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 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:161 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [9] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:237 [12] include(mod::Module, _path::String) @ Base ./Base.jl:309 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [14] _start() @ Base ./client.jl:577 in expression starting at /PkgEval.jl/scripts/evaluate.jl:228 PkgEval failed after 239.68s: package tests unexpectedly errored