Package evaluation of WeaklyHard on Julia 1.13.0-DEV.771 (d887bd21ab*) started at 2025-06-24T11:22:29.673 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.5s ################################################################################ # Installation # Installing WeaklyHard... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [e696503b] + WeaklyHard v0.2.1 Updating `~/.julia/environments/v1.13/Manifest.toml` [e696503b] + WeaklyHard v0.2.1 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 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 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [f489334b] + StyledStrings v1.11.0 [8dfed614] + Test v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [8e850b90] + libblastrampoline_jll v5.13.1+0 Installation completed after 0.91s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 12.99s ################################################################################ # Testing # Testing WeaklyHard Status `/tmp/jl_rWvbm9/Project.toml` [e696503b] WeaklyHard v0.2.1 [37e2e46d] LinearAlgebra v1.12.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_rWvbm9/Manifest.toml` [e696503b] WeaklyHard v0.2.1 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 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 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.11.0 [8dfed614] Test v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [4536629a] OpenBLAS_jll v0.3.29+0 [8e850b90] libblastrampoline_jll v5.13.1+0 Testing Running tests... length(seqs) = 32 Test Summary: | Pass Total Time Trivial Tests - RowHitConstraint | 48116 48116 2.9s Test Summary: | Pass Total Time Trivial Tests - RowMissConstraint | 62419 62419 0.5s Test Summary: | Pass Total Time Trivial Tests - AnyMissConstraint | 62176 62176 0.8s Test Summary: | Pass Total Time Trivial Tests - AnyHitConstraint | 62176 62176 0.9s Test Summary: | Pass Total Time RowMiss-RowMiss - Tests | 10000 10000 0.1s Test Summary: | Pass Total Time RowHit-RowHit - Tests | 10000 10000 0.0s Test Summary: | Pass Total Time AnyMiss-AnyMiss - Tests | 10000 10000 0.0s Test Summary: | Pass Total Time AnyHit-AnyHit - Tests | 10000 10000 0.0s Test Summary: | Pass Total Time RowMiss-X - Analytic Tests | 30000 30000 0.5s Test Summary: | Pass Total Time RowHit-X - Analytic Tests | 20000 20000 0.4s Test Summary: | Pass Total Time AnyMiss-X - Analytic Tests | 30000 30000 0.4s Test Summary: | Pass Total Time AnyHit-X - Analytic Tests | 30000 30000 0.4s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.2s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time BruteForce Tests | 49640 49640 0.1s Test Summary: | Pass Total Time 2 Random Constraints | 10000 10000 8.5s Test Summary: | Pass Total Time Arbitrary Random Constraints | 10000 10000 5.6s Test Summary: | Pass Total Time Shift Tests | 5000 5000 1.0s Test Summary: | Pass Total Time Shift_RowHit Tests | 5000 5000 0.2s Executed tests on 476 different automata Test Summary: | Pass Total Time Vertices Tests | 476 476 27.4s [15] signal 11 (1): Segmentation fault in expression starting at /home/pkgeval/.julia/packages/WeaklyHard/NTxrY/test/automaton_tests.jl:167 typekeyvalue_hash at /source/src/jltypes.c:1828 [inlined] lookup_typevalue at /source/src/jltypes.c:1136 jl_inst_arg_tuple_type at /source/src/jltypes.c:2479 arg_tuple at /source/src/builtins.c:931 test_transition_correctness at /home/pkgeval/.julia/packages/WeaklyHard/NTxrY/test/automaton_tests.jl:152 unknown function (ip: 0x7d36beb3b002) at (unknown file) _jl_invoke at /source/src/gf.c:3692 [inlined] ijl_apply_generic at /source/src/gf.c:3892 macro expansion at /home/pkgeval/.julia/packages/WeaklyHard/NTxrY/test/automaton_tests.jl:190 [inlined] macro expansion at /source/usr/share/julia/stdlib/v1.13/Test/src/Test.jl:1855 [inlined] top-level scope at /home/pkgeval/.julia/packages/WeaklyHard/NTxrY/test/automaton_tests.jl:168 _jl_invoke at /source/src/gf.c:3692 [inlined] ijl_invoke at /source/src/gf.c:3699 jl_toplevel_eval_flex at /source/src/toplevel.c:762 jl_eval_module_expr at /source/src/toplevel.c:196 [inlined] jl_toplevel_eval_flex at /source/src/toplevel.c:658 jl_toplevel_eval_flex at /source/src/toplevel.c:713 ijl_toplevel_eval at /source/src/toplevel.c:785 ijl_toplevel_eval_in at /source/src/toplevel.c:830 eval at ./boot.jl:489 include_string at ./loading.jl:2846 _jl_invoke at /source/src/gf.c:3692 [inlined] ijl_apply_generic at /source/src/gf.c:3892 _include at ./loading.jl:2906 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_68014.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:3692 [inlined] ijl_apply_generic at /source/src/gf.c:3892 jl_apply at /source/src/julia.h:2343 [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:773 jl_eval_module_expr at /source/src/toplevel.c:196 [inlined] jl_toplevel_eval_flex at /source/src/toplevel.c:658 jl_toplevel_eval_flex at /source/src/toplevel.c:713 ijl_toplevel_eval at /source/src/toplevel.c:785 ijl_toplevel_eval_in at /source/src/toplevel.c:830 eval at ./boot.jl:489 include_string at ./loading.jl:2846 _jl_invoke at /source/src/gf.c:3692 [inlined] ijl_apply_generic at /source/src/gf.c:3892 _include at ./loading.jl:2906 include at ./Base.jl:310 IncludeInto at ./Base.jl:311 jfptr_IncludeInto_68014.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:3692 [inlined] ijl_apply_generic at /source/src/gf.c:3892 jl_apply at /source/src/julia.h:2343 [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:773 jl_toplevel_eval_flex at /source/src/toplevel.c:713 ijl_toplevel_eval at /source/src/toplevel.c:785 ijl_toplevel_eval_in at /source/src/toplevel.c:830 eval at ./boot.jl:489 exec_options at ./client.jl:290 _start at ./client.jl:557 jfptr__start_74698.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:3692 [inlined] ijl_apply_generic at /source/src/gf.c:3892 jl_apply at /source/src/julia.h:2343 [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: 0x7d36c041c249) 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 Allocations: 139898732 (Pool: 139898660; Big: 72); GC: 73 Testing failed after 67.65s ERROR: LoadError: Package WeaklyHard errored during testing (received signal: 11) Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.13/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.13/Pkg/src/Operations.jl:2423 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2278 [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.13/Pkg/src/API.jl:500 [5] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:164 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [7] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:152 [inlined] [8] #test#81 @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/API.jl:151 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:219 [10] include(mod::Module, _path::String) @ Base ./Base.jl:309 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:324 [12] _start() @ Base ./client.jl:557 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval crashed after 105.87s: a segmentation fault happened