Package evaluation of BinaryDecisionDiagrams on Julia 1.12.0-DEV.1805 (a080deafdd*) started at 2025-03-24T11:20:52.740 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 8.75s ################################################################################ # Installation # Installing BinaryDecisionDiagrams... Resolving package versions... Updating `~/.julia/environments/v1.12/Project.toml` [cd45f48d] + BinaryDecisionDiagrams v0.1.8 Updating `~/.julia/environments/v1.12/Manifest.toml` [cd45f48d] + BinaryDecisionDiagrams v0.1.8 [2a0f44e3] + Base64 v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [dc6e5ff7] + JuliaSyntaxHighlighting 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 Installation completed after 0.92s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 15.69s ################################################################################ # Testing # Testing BinaryDecisionDiagrams Status `/tmp/jl_aqUQai/Project.toml` [cd45f48d] BinaryDecisionDiagrams v0.1.8 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_aqUQai/Manifest.toml` [cd45f48d] BinaryDecisionDiagrams v0.1.8 [2a0f44e3] Base64 v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [dc6e5ff7] JuliaSyntaxHighlighting 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 Testing Running tests... Test Summary: | Pass Total Time Valuations | 6576 6576 3.0s Test Summary: | Pass Total Time Conjunctions | 72 72 4.0s Test Summary: | Pass Total Time Convals | 96 96 0.7s Test Summary: | Pass Total Time Terminal ⊤ | 14 14 0.2s Test Summary: | Pass Total Time Terminal ⊥ | 14 14 0.0s Test Summary: | Pass Total Time Variable | 63 63 0.2s Test Summary: | Pass Total Time Forced construction | 98 98 0.0s Test Summary: | Pass Total Time Reduce | 10 10 0.4s Test Summary: | Pass Total Time Restrict | 7544 7544 2.0s Test Summary: | Pass Total Time Evaluation | 124 124 1.4s Test Summary: | Pass Total Time Negate | 22 22 0.3s Test Summary: | Pass Total Time Conjunction | 68 68 0.2s Test Summary: | Pass Total Time Disjunction | 68 68 0.1s Test Summary: | Pass Total Time XOR | 38 38 0.1s Test Summary: | Pass Total Time Implication | 207 207 0.1s Test Summary: | Pass Total Time Equality and inequality | 16 16 0.1s Test Summary: | Pass Total Time Iterators | 12 12 0.5s Test Summary: | Pass Total Time Hash function | 36 36 0.9s Test Summary: | Pass Total Time Shannon decomposition | 37 37 0.5s Test Summary: | Pass Total Time Copy and deep copy | 12 12 0.0s Test Summary: | Pass Total Time String representation | 6 6 0.1s [15] signal 11 (1): Segmentation fault in expression starting at /home/pkgeval/.julia/packages/BinaryDecisionDiagrams/Dfhsk/test/runtests.jl:712 _jl_invoke at /source/src/gf.c:3337 [inlined] ijl_invoke at /source/src/gf.c:3366 eliminate_step at /home/pkgeval/.julia/packages/BinaryDecisionDiagrams/Dfhsk/src/BinaryDecisionDiagrams.jl:583 _jl_invoke at /source/src/gf.c:3359 [inlined] ijl_invoke at /source/src/gf.c:3366 eliminate at /home/pkgeval/.julia/packages/BinaryDecisionDiagrams/Dfhsk/src/BinaryDecisionDiagrams.jl:580 _jl_invoke at /source/src/gf.c:3359 [inlined] ijl_apply_generic at /source/src/gf.c:3547 jl_apply at /source/src/julia.h:2244 [inlined] do_call at /source/src/interpreter.c:125 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:687 eval_body at /source/src/interpreter.c:562 eval_body at /source/src/interpreter.c:562 eval_body at /source/src/interpreter.c:562 jl_interpret_toplevel_thunk at /source/src/interpreter.c:896 jl_toplevel_eval_flex at /source/src/toplevel.c:1070 jl_toplevel_eval_flex at /source/src/toplevel.c:1010 ijl_toplevel_eval at /source/src/toplevel.c:1082 ijl_toplevel_eval_in at /source/src/toplevel.c:1127 eval at ./boot.jl:485 include_string at ./loading.jl:2846 _jl_invoke at /source/src/gf.c:3359 [inlined] ijl_apply_generic at /source/src/gf.c:3547 _include at ./loading.jl:2906 include at ./Base.jl:301 IncludeInto at ./Base.jl:302 jfptr_IncludeInto_69051.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:3359 [inlined] ijl_apply_generic at /source/src/gf.c:3547 jl_apply at /source/src/julia.h:2244 [inlined] do_call at /source/src/interpreter.c:125 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:687 jl_interpret_toplevel_thunk at /source/src/interpreter.c:896 jl_toplevel_eval_flex at /source/src/toplevel.c:1070 jl_toplevel_eval_flex at /source/src/toplevel.c:1010 ijl_toplevel_eval at /source/src/toplevel.c:1082 ijl_toplevel_eval_in at /source/src/toplevel.c:1127 eval at ./boot.jl:485 exec_options at ./client.jl:295 _start at ./client.jl:558 jfptr__start_108457.1 at /opt/julia/lib/julia/sys.so (unknown line) _jl_invoke at /source/src/gf.c:3359 [inlined] ijl_apply_generic at /source/src/gf.c:3547 jl_apply at /source/src/julia.h:2244 [inlined] true_main at /source/src/jlapi.c:922 jl_repl_entrypoint at /source/src/jlapi.c:1081 main at /source/cli/loader_exe.c:58 unknown function (ip: 0x7d5d795b7249) 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: 9361535 (Pool: 9361349; Big: 186); GC: 9 Testing failed after 26.97s ERROR: LoadError: Package BinaryDecisionDiagrams errored during testing (received signal: 11) 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 crashed after 68.46s: a segmentation fault happened