Package evaluation to test Metatheory on Julia 1.14.0-DEV.1741 (f7ebeb5678*) started at 2026-02-22T13:38:46.539 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 13.14s ################################################################################ # Installation # Installing Metatheory... Resolving package versions... Installed Compat ────────────── v4.18.1 Installed Reexport ──────────── v1.2.2 Installed TimerOutputs ──────── v0.5.29 Installed DataStructures ────── v0.18.22 Installed ExprTools ─────────── v0.1.10 Installed DocStringExtensions ─ v0.9.5 Installed AutoHashEquals ────── v2.2.0 Installed TermInterface ─────── v0.3.3 Installed OrderedCollections ── v1.8.1 Installed Metatheory ────────── v2.0.2 Updating `~/.julia/environments/v1.14/Project.toml` [e9d8d322] + Metatheory v2.0.2 Updating `~/.julia/environments/v1.14/Manifest.toml` [15f4f7f2] + AutoHashEquals v2.2.0 [34da2185] + Compat v4.18.1 ⌅ [864edb3b] + DataStructures v0.18.22 [ffbed154] + DocStringExtensions v0.9.5 [e2ba6199] + ExprTools v0.1.10 [e9d8d322] + Metatheory v2.0.2 [bac558e1] + OrderedCollections v1.8.1 [189a3867] + Reexport v1.2.2 ⌅ [8ea1fca8] + TermInterface v0.3.3 [a759f4b9] + TimerOutputs v0.5.29 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.69s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling packages... 4520.9 ms ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling packages... 1133.4 ms ✓ ANSIColoredPrinters 804.1 ms ✓ Reexport 892.2 ms ✓ LazilyInitializedFields 1331.8 ms ✓ OrderedCollections 763.4 ms ✓ SafeTestsets 1121.5 ms ✓ DocStringExtensions 1213.8 ms ✓ AbstractTrees 897.5 ms ✓ TermInterface 987.2 ms ✓ ExprTools 971.8 ms ✓ AutoHashEquals 1306.3 ms ✓ TranscodingStreams 873.5 ms ✓ IOCapture 1484.1 ms ✓ StructUtils 1177.5 ms ✓ Compat 1175.8 ms ✓ Preferences 5435.5 ms ✓ RegistryInstances 1826.6 ms ✓ MarkdownAST 3283.3 ms ✓ TimerOutputs 994.9 ms ✓ CodecZlib 863.3 ms ✓ Compat → CompatLinearAlgebraExt 1218.7 ms ✓ JLLWrappers 932.7 ms ✓ PrecompileTools 3902.8 ms ✓ DataStructures 1449.4 ms ✓ Libiconv_jll 1411.2 ms ✓ Git_LFS_jll 1521.5 ms ✓ OpenSSH_jll 1468.9 ms ✓ Expat_jll 17241.7 ms ✓ Parsers 6071.7 ms ✓ Metatheory 1565.8 ms ✓ Git_jll 7521.6 ms ✓ JSON 1010.4 ms ✓ Git 3259.6 ms ✓ Literate 51760.3 ms ✓ Documenter 34 dependencies successfully precompiled in 129 seconds. 32 already precompiled. Precompilation completed after 162.64s ################################################################################ # Testing # Testing Metatheory Status `/tmp/jl_xpfc7e/Project.toml` [15f4f7f2] AutoHashEquals v2.2.0 ⌅ [864edb3b] DataStructures v0.18.22 [ffbed154] DocStringExtensions v0.9.5 [e30172f5] Documenter v1.17.0 [98b081ad] Literate v2.21.0 [e9d8d322] Metatheory v2.0.2 [189a3867] Reexport v1.2.2 [1bc83da4] SafeTestsets v0.1.0 ⌅ [8ea1fca8] TermInterface v0.3.3 [a759f4b9] TimerOutputs v0.5.29 [8dfed614] Test v1.11.0 Status `/tmp/jl_xpfc7e/Manifest.toml` [a4c015fc] ANSIColoredPrinters v0.0.1 [1520ce14] AbstractTrees v0.4.5 [15f4f7f2] AutoHashEquals v2.2.0 [944b1d66] CodecZlib v0.7.8 [34da2185] Compat v4.18.1 ⌅ [864edb3b] DataStructures v0.18.22 [ffbed154] DocStringExtensions v0.9.5 [e30172f5] Documenter v1.17.0 [e2ba6199] ExprTools v0.1.10 [d7ba0133] Git v1.5.0 [b5f81e59] IOCapture v1.0.0 [692b3bcd] JLLWrappers v1.7.1 [682c06a0] JSON v1.4.0 [0e77f7df] LazilyInitializedFields v1.3.0 [98b081ad] Literate v2.21.0 [d0879d2d] MarkdownAST v0.1.3 [e9d8d322] Metatheory v2.0.2 [bac558e1] OrderedCollections v1.8.1 [69de0a69] Parsers v2.8.3 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.1 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 [1bc83da4] SafeTestsets v0.1.0 [ec057cc2] StructUtils v2.6.3 ⌅ [8ea1fca8] TermInterface v0.3.3 [a759f4b9] TimerOutputs v0.5.29 [3bb67fe8] TranscodingStreams v0.11.3 [2e619515] Expat_jll v2.7.3+0 [020c3dae] Git_LFS_jll v3.7.0+0 [f8c6e375] Git_jll v2.53.0+0 [94ce4f54] Libiconv_jll v1.18.0+0 [9bd350c2] OpenSSH_jll v10.2.1+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.0.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] LibCURL_jll v8.18.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.12.2 [458c3c95] OpenSSL_jll v3.5.5+0 [efcefdf7] PCRE2_jll v10.47.0+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850ede] nghttp2_jll v1.68.0+1 [3f19e933] p7zip_jll v17.7.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ┌ Warning: Unable to determine HTML(edit_link = ...) from remote HEAD branch, defaulting to "master". │ Calling `git remote` failed with an exception. Set JULIA_DEBUG=Documenter to see the error. │ Unless this is due to a configuration error, the relevant variable should be set explicitly. └ @ Documenter ~/.julia/packages/Documenter/AXNMp/src/utilities/utilities.jl:719 [ Info: SetupBuildDirectory: setting up build directory. [ Info: Doctest: running doctests. [ Info: Skipped ExpandTemplates step (doctest only). [ Info: Skipped CrossReferences step (doctest only). [ Info: Skipped CheckDocument step (doctest only). [ Info: Skipped Populate step (doctest only). [ Info: Skipped RenderDocument step (doctest only). Test Summary: | Pass Total Time Doctests: Metatheory | 1 1 1m11.7s [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/classic/reductions.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/classic/reductions.jl | 34 34 28.2s 28.407666 seconds (7.65 M allocations: 421.665 MiB, 0.60% gc time, 98.62% compilation time) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/egraphs/analysis.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/egraphs/analysis.jl | 21 21 34.3s 34.304020 seconds (18.52 M allocations: 749.672 MiB, 1.11% gc time, 94.08% compilation time: 2% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/egraphs/egraphs.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/egraphs/egraphs.jl | 10 10 0.2s 0.229230 seconds (53.66 k allocations: 2.532 MiB, 72.39% compilation time) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/egraphs/ematch.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/egraphs/ematch.jl | 38 38 7.7s 7.709197 seconds (3.24 M allocations: 156.345 MiB, 6.93% gc time, 95.14% compilation time) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/kb_benchmark.jl Test Summary: | Pass Broken Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/kb_benchmark.jl | 3 1 4 5.9s 5.862062 seconds (3.28 M allocations: 123.650 MiB, 94.28% compilation time: 2% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/lambda_theory.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/lambda_theory.jl | 2 2 13.4s 13.444925 seconds (4.31 M allocations: 241.426 MiB, 0.80% gc time, 98.96% compilation time: 11% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/logic.jl Prop logic: Error During Test at /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/logic.jl:97 Test threw exception Expression: prove(t, ex, 5, 10, 5000) UndefRefError: access to undefined reference Stacktrace: [1] getindex @ ./essentials.jl:1004 [inlined] [2] _unique!(f::typeof(identity), A::Vector{AbstractENode}, seen::Set{ENodeTerm}, current::Int64, i::Int64) @ Base ./set.jl:390 [3] unique!(f::typeof(identity), A::Vector{AbstractENode}; seen::Nothing) @ Base ./set.jl:385 [4] unique! @ ./set.jl:373 [inlined] [5] _unique! @ ./set.jl:411 [inlined] [6] unique! @ ./set.jl:477 [inlined] [7] repair!(g::EGraph, id::Int64) @ Metatheory.EGraphs ~/.julia/packages/Metatheory/ooi9X/src/EGraphs/egraph.jl:490 [8] rebuild!(g::EGraph) @ Metatheory.EGraphs ~/.julia/packages/Metatheory/ooi9X/src/EGraphs/egraph.jl:434 [9] eqsat_step!(g::EGraph, theory::Vector{AbstractRule}, curr_iter::Int64, scheduler::Metatheory.EGraphs.Schedulers.BackoffScheduler, params::SaturationParams, report::Metatheory.EGraphs.SaturationReport) @ Metatheory.EGraphs ~/.julia/packages/Metatheory/ooi9X/src/EGraphs/saturation.jl:275 [10] saturate!(g::EGraph, theory::Vector{AbstractRule}, params::SaturationParams) @ Metatheory.EGraphs ~/.julia/packages/Metatheory/ooi9X/src/EGraphs/saturation.jl:302 [11] prove(t::Vector{AbstractRule}, ex::Expr, steps::Int64, timeout::Int64, eclasslimit::Int64) @ Main.var"##/home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/logic.jl#155" ~/.julia/packages/Metatheory/ooi9X/test/integration/logic.jl:24 [12] 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:402 [13] top-level scope @ ~/.julia/packages/Metatheory/ooi9X/test/integration/logic.jl:49 [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:2244 [inlined] [15] macro expansion @ ~/.julia/packages/Metatheory/ooi9X/test/integration/logic.jl:97 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.14/Test/src/Test.jl:779 [inlined] Test Summary: | Pass Error Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/logic.jl | 15 1 16 34.6s Prop logic | 8 1 9 13.7s Calculational Logic | 7 7 19.2s RNG of the outermost testset: Random.Xoshiro(0x799dc130440bd9c2, 0x429d6c9eb8bc3bdd, 0xa5014f749f19ba89, 0x99e273ffcdcea61f, 0xafadc0522a67bcdf) ERROR: LoadError: Some tests did not pass: 15 passed, 0 failed, 1 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/runtests.jl:24 Testing failed after 223.35s ERROR: LoadError: Package Metatheory 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:3138 [3] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3003 [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:586 [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:562 [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:223 [12] include(mod::Module, _path::String) @ Base ./Base.jl:323 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [14] _start() @ Base ./client.jl:585 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 422.01s: package tests unexpectedly errored