Package evaluation of PropCheck on Julia 1.13.0-DEV.704 (4632cd28b9*) started at 2025-06-05T12:25:17.884 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.01s ################################################################################ # Installation # Installing PropCheck... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [ca382230] + PropCheck v0.10.1 Updating `~/.julia/environments/v1.13/Manifest.toml` [34da2185] + Compat v4.16.0 [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.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization 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 Installation completed after 1.07s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 14.79s ################################################################################ # Testing # Testing PropCheck Status `/tmp/jl_Ucmrws/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_Ucmrws/Manifest.toml` [34da2185] Compat v4.16.0 [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.12.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization 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 Testing Running tests... ┌ Info: RNG state is: └ RNG = Random.Xoshiro(0x09a87204dc4ba252, 0xbed63c1ce11af6f2, 0x76d53bb01c325009, 0x743e41c8aa43f45e, 0x70e022a6ee72d874) 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.13/Random/src/Random.jl:149 Random.Sampler(::Type{<:Random.AbstractRNG}, ::Any, ::Union{Val{1}, Val{Inf}}) @ Random /opt/julia/share/julia/stdlib/v1.13/Random/src/Random.jl:190 Random.Sampler(::Type{<:Random.AbstractRNG}, !Matched::BitSet, ::Union{Val{1}, Val{Inf}}) @ Random /opt/julia/share/julia/stdlib/v1.13/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.13/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.13/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.13/Random/src/Random.jl:262 [4] rand(rng::Random.TaskLocalRNG, ::Type{Core.BFloat16}) @ Random /opt/julia/share/julia/stdlib/v1.13/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:796 [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] numsToZero(T::Type) @ Main ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:17 [18] 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.13/Test/src/Test.jl:373 [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:727 [inlined] [20] macro expansion @ ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:153 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1922 [inlined] [22] macro expansion @ ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:151 [inlined] [23] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1833 [inlined] [24] macro expansion @ ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:151 [inlined] [25] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1833 [inlined] [26] macro expansion @ ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:119 [inlined] [27] macro expansion @ ./timing.jl:645 [inlined] [28] top-level scope @ ~/.julia/packages/PropCheck/AK4AW/test/runtests.jl:353 ┌ Info: Found counterexample for 'issorted', beginning shrinking... │ Counterexample = │ 10-element Vector{UInt8}: │ 0xd0 │ 0x66 │ 0x3f │ 0xf8 │ ⋮ │ 0x2d │ 0x38 └ 0x06 [ Info: 20 counterexamples found for issorted ┌ Info: Found counterexample for 'Base.Fix2{typeof(<), Int64}(<, 5)', beginning shrinking... └ Counterexample = 0xf0 [ Info: 7 counterexamples found for Base.Fix2{typeof(<), Int64}(<, 5) ┌ Info: Found counterexample for 'iseven', beginning shrinking... └ Counterexample = 0x3f [ Info: 5 counterexamples found for iseven ┌ Info: Found counterexample for 'throwingProperty', beginning shrinking... └ Counterexample = 0xf0 ┌ Info: 6 counterexamples found for throwingProperty, of which 6 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 = │ 10-element Vector{UInt8}: │ 0xd0 │ 0x66 │ 0x3f │ 0xf8 │ ⋮ │ 0x2d │ 0x38 └ 0x06 [ Info: 36 counterexamples found for #interleaveFilterInvariant##2 ┌ Info: Found counterexample for '#interleaveMapInvariant##2', beginning shrinking... │ Counterexample = │ 3-element Vector{UInt8}: │ 0xf5 │ 0x5c └ 0x00 [ Info: 3 counterexamples found for #interleaveMapInvariant##2 ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile ====================================================================================== cmd: /opt/julia/bin/julia 15 running 1 of 1 signal (10): User defined signal 1 forall_exists_subtype at /source/src/subtype.c:1830 ijl_subtype_env at /source/src/subtype.c:2281 ijl_isa at /source/src/subtype.c:2530 jl_tuple1_isa at /source/src/subtype.c:2419 jl_typemap_entry_assoc_exact at /source/src/typemap.c:1152 jl_typemap_assoc_exact at /source/src/julia_internal.h:1813 [inlined] jl_typemap_level_assoc_exact at /source/src/typemap.c:1240 jl_typemap_assoc_exact at /source/src/julia_internal.h:1817 [inlined] jl_typemap_level_assoc_exact at /source/src/typemap.c:1196 jl_typemap_assoc_exact at /source/src/julia_internal.h:1817 [inlined] jl_lookup_generic_ at /source/src/gf.c:3744 [inlined] ijl_apply_generic at /source/src/gf.c:3807 iterate at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/iteratorextras.jl:85 iterate at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/iteratorextras.jl:75 [inlined] _append! at ./array.jl:1392 append! at ./array.jl:1378 unknown function (ip: 0x70f16aeafac6) at (unknown file) _jl_invoke at /source/src/gf.c:3611 [inlined] ijl_apply_generic at /source/src/gf.c:3811 macro expansion at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:232 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.13/Test/src/Test.jl:1922 [inlined] macro expansion at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:220 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.13/Test/src/Test.jl:1833 [inlined] macro expansion at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:119 [inlined] macro expansion at ./timing.jl:645 [inlined] top-level scope at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:353 _jl_invoke at /source/src/gf.c:3611 [inlined] ijl_invoke at /source/src/gf.c:3618 jl_toplevel_eval_flex at /source/src/toplevel.c:765 jl_toplevel_eval_flex at /source/src/toplevel.c:716 ijl_toplevel_eval at /source/src/toplevel.c:788 ijl_toplevel_eval_in at /source/src/toplevel.c:833 eval at ./boot.jl:489 include_string at ./loading.jl:2846 _jl_invoke at /source/src/gf.c:3611 [inlined] ijl_apply_generic at /source/src/gf.c:3811 _include at ./loading.jl:2906 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_71157.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:3611 [inlined] ijl_apply_generic at /source/src/gf.c:3811 jl_apply at /source/src/julia.h:2339 [inlined] do_call at /source/src/interpreter.c:123 eval_value at /source/src/interpreter.c:243 eval_stmt_value at /source/src/interpreter.c:194 [inlined] eval_body at /source/src/interpreter.c:708 jl_interpret_toplevel_thunk at /source/src/interpreter.c:899 jl_toplevel_eval_flex at /source/src/toplevel.c:776 jl_toplevel_eval_flex at /source/src/toplevel.c:716 ijl_toplevel_eval at /source/src/toplevel.c:788 ijl_toplevel_eval_in at /source/src/toplevel.c:833 eval at ./boot.jl:489 exec_options at ./client.jl:290 _start at ./client.jl:557 jfptr__start_70745.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:3611 [inlined] ijl_apply_generic at /source/src/gf.c:3811 jl_apply at /source/src/julia.h:2339 [inlined] true_main at /source/src/jlapi.c:964 jl_repl_entrypoint at /source/src/jlapi.c:1132 main at /source/cli/loader_exe.c:58 unknown function (ip: 0x70f186449249) at /lib/x86_64-linux-gnu/libc.so.6 __libc_start_main at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) unknown function (ip: 0x4010b8) at /workspace/srcdir/glibc-2.17/csu/../sysdeps/x86_64/start.S unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point ============================================================== ====================================================================================== Information request received. A stacktrace will print followed by a 1.0 second profile ====================================================================================== cmd: /opt/julia/bin/julia 1 running 0 of 1 signal (10): User defined signal 1 epoll_pwait at /lib/x86_64-linux-gnu/libc.so.6 (unknown line) uv__io_poll at /workspace/srcdir/libuv/src/unix/linux.c:1404 uv_run at /workspace/srcdir/libuv/src/unix/core.c:430 ijl_task_get_next at /source/src/scheduler.c:457 wait at ./task.jl:1213 wait_forever at ./task.jl:1150 jfptr_wait_forever_57997.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:3611 [inlined] ijl_apply_generic at /source/src/gf.c:3811 jl_apply at /source/src/julia.h:2339 [inlined] start_task at /source/src/task.c:1249 unknown function (ip: (nil)) at (unknown file) ============================================================== Profile collected. A report will print at the next yield point ============================================================== ┌ Warning: There were no samples collected in one or more groups. │ This may be due to idle threads, or you may need to run your │ program longer (perhaps by running it multiple times), │ or adjust the delay between samples with `Profile.init()`. └ @ Profile /opt/julia/share/julia/stdlib/v1.13/Profile/src/Profile.jl:1362 Overhead ╎ [+additional indent] Count File:Line Function ========================================================= Thread 1 (default) Task 0x00007b202d10b940 Total snapshots: 441. Utilization: 0% ╎441 @Base/task.jl:1150 wait_forever() 440╎ 441 @Base/task.jl:1213 wait() [15] signal 15: Terminated in expression starting at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:118 ijl_isa at /source/src/subtype.c:2531 jl_tuple1_isa at /source/src/subtype.c:2419 jl_typemap_entry_assoc_exact at /source/src/typemap.c:1152 jl_typemap_assoc_exact at /source/src/julia_internal.h:1813 [inlined] jl_typemap_level_assoc_exact at /source/src/typemap.c:1240 jl_typemap_assoc_exact at /source/src/julia_internal.h:1817 [inlined] jl_typemap_level_assoc_exact at /source/src/typemap.c:1196 jl_typemap_assoc_exact at /source/src/julia_internal.h:1817 [inlined] jl_lookup_generic_ at /source/src/gf.c:3744 [inlined] ijl_apply_generic at /source/src/gf.c:3807 iterate at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/iteratorextras.jl:85 iterate at /home/pkgeval/.julia/packages/PropCheck/AK4AW/src/iteratorextras.jl:75 [inlined] _append! at ./array.jl:1392 append! at ./array.jl:1378 unknown function (ip: 0x70f16aeafac6) at (unknown file) _jl_invoke at /source/src/gf.c:3611 [inlined] ijl_apply_generic at /source/src/gf.c:3811 macro expansion at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:232 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.13/Test/src/Test.jl:1922 [inlined] macro expansion at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:220 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.13/Test/src/Test.jl:1833 [inlined] macro expansion at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:119 [inlined] macro expansion at ./timing.jl:645 [inlined] top-level scope at /home/pkgeval/.julia/packages/PropCheck/AK4AW/test/runtests.jl:353 _jl_invoke at /source/src/gf.c:3611 [inlined] ijl_invoke at /source/src/gf.c:3618 jl_toplevel_eval_flex at /source/src/toplevel.c:765 jl_toplevel_eval_flex at /source/src/toplevel.c:716 ijl_toplevel_eval at /source/src/toplevel.c:788 ijl_toplevel_eval_in at /source/src/toplevel.c:833 eval at ./boot.jl:489 PkgEval terminated after 2723.33s: test duration exceeded the time limit