Package evaluation of Metatheory on Julia 1.13.0-DEV.140 (fac1ce7906*) started at 2025-03-02T09:03:20.219 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 7.67s ################################################################################ # Installation # Installing Metatheory... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [e9d8d322] + Metatheory v2.0.2 Updating `~/.julia/environments/v1.13/Manifest.toml` [15f4f7f2] + AutoHashEquals v2.2.0 [34da2185] + Compat v4.16.0 [864edb3b] + DataStructures v0.18.20 [ffbed154] + DocStringExtensions v0.9.3 [e2ba6199] + ExprTools v0.1.10 [e9d8d322] + Metatheory v2.0.2 [bac558e1] + OrderedCollections v1.8.0 [189a3867] + Reexport v1.2.2 ⌅ [8ea1fca8] + TermInterface v0.3.3 [a759f4b9] + TimerOutputs v0.5.28 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e37daf67] + LibGit2_jll v1.9.0+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [458c3c95] + OpenSSL_jll v3.0.16+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 1.39s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 25.13s ################################################################################ # Testing # Testing Metatheory Status `/tmp/jl_hMdNjv/Project.toml` [15f4f7f2] AutoHashEquals v2.2.0 [864edb3b] DataStructures v0.18.20 [ffbed154] DocStringExtensions v0.9.3 [e30172f5] Documenter v1.8.1 [98b081ad] Literate v2.20.1 [e9d8d322] Metatheory v2.0.2 [189a3867] Reexport v1.2.2 [1bc83da4] SafeTestsets v0.1.0 ⌅ [8ea1fca8] TermInterface v0.3.3 [a759f4b9] TimerOutputs v0.5.28 [8dfed614] Test v1.11.0 Status `/tmp/jl_hMdNjv/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.16.0 [864edb3b] DataStructures v0.18.20 [ffbed154] DocStringExtensions v0.9.3 [e30172f5] Documenter v1.8.1 [e2ba6199] ExprTools v0.1.10 [d7ba0133] Git v1.3.1 [b5f81e59] IOCapture v0.2.5 [692b3bcd] JLLWrappers v1.7.0 [682c06a0] JSON v0.21.4 [0e77f7df] LazilyInitializedFields v1.3.0 [98b081ad] Literate v2.20.1 [d0879d2d] MarkdownAST v0.1.2 [e9d8d322] Metatheory v2.0.2 [bac558e1] OrderedCollections v1.8.0 [69de0a69] Parsers v2.8.1 [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.4.3 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 [1bc83da4] SafeTestsets v0.1.0 ⌅ [8ea1fca8] TermInterface v0.3.3 [a759f4b9] TimerOutputs v0.5.28 [3bb67fe8] TranscodingStreams v0.11.3 [2e619515] Expat_jll v2.6.5+0 [f8c6e375] Git_jll v2.47.1+0 [94ce4f54] Libiconv_jll v1.18.0+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.12.0 [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.12.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [f489334b] StyledStrings v1.11.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 [deac9b47] LibCURL_jll v8.11.1+1 [e37daf67] LibGit2_jll v1.9.0+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2024.12.31 [458c3c95] OpenSSL_jll v3.0.16+0 [efcefdf7] PCRE2_jll v10.44.0+1 [83775a58] Zlib_jll v1.3.1+2 [8e850ede] nghttp2_jll v1.64.0+1 [3f19e933] p7zip_jll v17.5.0+2 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/iwb7N/src/utilities/utilities.jl:651 [ 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 1m04.9s [ 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 27.2s 27.413207 seconds (8.90 M allocations: 476.039 MiB, 0.69% gc time, 98.73% compilation time) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/egraphs/analysis.jl Complex Extraction: Error During Test at /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/egraphs/analysis.jl:237 Got exception outside of a @test UndefRefError: access to undefined reference Stacktrace: [1] getindex @ ./essentials.jl:951 [inlined] [2] _unique!(f::typeof(identity), A::Vector{AbstractENode}, seen::Set{AbstractENode}, current::Int64, i::Int64) @ Base ./set.jl:390 [3] _unique!(f::typeof(identity), A::Vector{AbstractENode}, seen::Set{ENodeTerm}, current::Int64, i::Int64) @ Base ./set.jl:400 [4] unique!(f::typeof(identity), A::Vector{AbstractENode}; seen::Nothing) @ Base ./set.jl:385 [5] unique! @ ./set.jl:373 [inlined] [6] _unique! @ ./set.jl:411 [inlined] [7] unique! @ ./set.jl:477 [inlined] [8] repair!(g::EGraph, id::Int64) @ Metatheory.EGraphs ~/.julia/packages/Metatheory/ooi9X/src/EGraphs/egraph.jl:490 [9] rebuild!(g::EGraph) @ Metatheory.EGraphs ~/.julia/packages/Metatheory/ooi9X/src/EGraphs/egraph.jl:434 [10] 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 [11] saturate!(g::EGraph, theory::Vector{AbstractRule}, params::SaturationParams) @ Metatheory.EGraphs ~/.julia/packages/Metatheory/ooi9X/src/EGraphs/saturation.jl:302 [12] top-level scope @ ~/.julia/packages/Metatheory/ooi9X/test/egraphs/analysis.jl:127 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [14] macro expansion @ ~/.julia/packages/Metatheory/ooi9X/test/egraphs/analysis.jl:238 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [16] macro expansion @ ~/.julia/packages/Metatheory/ooi9X/test/egraphs/analysis.jl:245 [inlined] [17] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:307 [18] top-level scope @ ~/.julia/packages/SafeTestsets/raUNr/src/SafeTestsets.jl:30 [19] macro expansion @ ~/.julia/packages/Metatheory/ooi9X/test/runtests.jl:11 [inlined] [20] macro expansion @ /opt/julia/share/julia/stdlib/v1.13/Test/src/Test.jl:1771 [inlined] [21] macro expansion @ ~/.julia/packages/Metatheory/ooi9X/test/runtests.jl:11 [inlined] [22] eval(m::Module, e::Any) @ Core ./boot.jl:488 [23] macro expansion @ ~/.julia/packages/SafeTestsets/raUNr/src/SafeTestsets.jl:28 [inlined] [24] macro expansion @ ./timing.jl:621 [inlined] [25] top-level scope @ ~/.julia/packages/Metatheory/ooi9X/test/runtests.jl:353 [26] eval(m::Module, e::Any) @ Core ./boot.jl:488 [27] test(file::String) @ Main ~/.julia/packages/Metatheory/ooi9X/test/runtests.jl:10 [28] iterate @ ./generator.jl:48 [inlined] [29] collect_to!(dest::Vector{Nothing}, itr::Base.Generator{Vector{String}, typeof(test)}, offs::Int64, st::Int64) @ Base ./array.jl:848 [30] collect_to_with_first!(dest::Vector{Nothing}, v1::Nothing, itr::Base.Generator{Vector{String}, typeof(test)}, st::Int64) @ Base ./array.jl:826 [31] _collect(c::Vector{String}, itr::Base.Generator{Vector{String}, typeof(test)}, ::Base.EltypeUnknown, isz::Base.HasShape{1}) @ Base ./array.jl:820 [32] collect_similar @ ./array.jl:732 [inlined] [33] map @ ./abstractarray.jl:3361 [inlined] [34] macro expansion @ ./timing.jl:621 [inlined] [35] top-level scope @ ~/.julia/packages/Metatheory/ooi9X/test/runtests.jl:426 [36] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:307 [37] top-level scope @ none:6 [38] eval(m::Module, e::Any) @ Core ./boot.jl:488 [39] exec_options(opts::Base.JLOptions) @ Base ./client.jl:294 [40] _start() @ Base ./client.jl:560 Test Summary: | Pass Error Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/egraphs/analysis.jl | 17 1 18 35.7s Basic Constant Folding Example - Commutative Monoid | 2 2 6.2s Basic Constant Folding Example 2 - Commutative Monoid | 2 2 0.7s Basic Constant Folding Example - Adding analysis after saturation | 2 2 0.1s Infinite Loops analysis | 0 4.3s Extraction | 11 1 12 20.3s Extraction 1 - Commutative Monoid | 2 2 2.2s Extraction 2 | 0 3.4s Extraction - Adding analysis after saturation | 2 2 0.0s Complex Extraction | 1 1 2 6.5s Symbols in Right hand | 1 1 0.0s Consistency with classical backend | 1 1 1.2s No arguments | 2 2 0.6s Symbol or function object operators in expressions in EGraphs | 1 1 1.6s RNG of the outermost testset: Random.Xoshiro(0x01f07f561a3912c4, 0xc47d864ca67d3f00, 0xb2cff8fe0f6b4fd0, 0x5eced01689dd77aa, 0x65209fd01fd7a47a) ERROR: LoadError: Some tests did not pass: 17 passed, 0 failed, 1 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/runtests.jl:24 Testing failed after 151.32s ERROR: LoadError: Package Metatheory errored during testing 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{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.13/Pkg/src/Operations.jl:2386 [3] test @ /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:2241 [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.13/Pkg/src/API.jl:486 [5] test(pkgs::Vector{Pkg.Types.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:306 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:328 [12] _start() @ Base ./client.jl:560 in expression starting at /PkgEval.jl/scripts/evaluate.jl:210 PkgEval failed after 201.3s: package tests unexpectedly errored