Package evaluation to test Metatheory on Julia 1.14.0-DEV.2224 (c07cf8ff6a*) started at 2026-05-23T18:49:02.125 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 16.58s ################################################################################ # Installation # Installing Metatheory... Resolving package versions... Installed Reexport ──────────── v1.2.2 Installed AutoHashEquals ────── v2.2.0 Installed TimerOutputs ──────── v0.5.29 Installed ExprTools ─────────── v0.1.10 Installed DocStringExtensions ─ v0.9.5 Installed TermInterface ─────── v0.3.3 Installed Compat ────────────── v4.18.1 Installed OrderedCollections ── v1.8.1 Installed DataStructures ────── v0.18.22 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.13.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.66s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 4.1 s ✓ TestEnv 1 dependency successfully precompiled in 4 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 0.8 s ✓ ANSIColoredPrinters 0.4 s ✓ Reexport 0.5 s ✓ LazilyInitializedFields 1.0 s ✓ OrderedCollections 0.4 s ✓ SafeTestsets 0.8 s ✓ DocStringExtensions 0.8 s ✓ AbstractTrees 0.5 s ✓ TermInterface 0.5 s ✓ ExprTools 0.6 s ✓ AutoHashEquals 1.0 s ✓ TranscodingStreams 0.5 s ✓ IOCapture 1.5 s ✓ StructUtils 0.8 s ✓ Compat 1.2 s ✓ Preferences 4.8 s ✓ RegistryInstances 1.6 s ✓ MarkdownAST 2.6 s ✓ TimerOutputs 0.6 s ✓ CodecZlib 0.5 s ✓ Compat → CompatLinearAlgebraExt 1.8 s ✓ JLLWrappers 1.5 s ✓ PrecompileTools 3.7 s ✓ DataStructures 1.9 s ✓ Libiconv_jll 1.9 s ✓ Git_LFS_jll 2.1 s ✓ OpenSSH_jll 1.9 s ✓ Expat_jll 17.4 s ✓ Parsers 5.1 s ✓ Metatheory 2.0 s ✓ Git_jll 7.9 s ✓ JSON 2.2 s ✓ Git 3.1 s ✓ Literate 52.9 s ✓ Documenter 34 dependencies successfully precompiled in 127 seconds. 32 already precompiled. Precompilation completed after 162.69s ################################################################################ # Testing # Testing Metatheory Status `/tmp/jl_mGe3hO/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_mGe3hO/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.8.0 [682c06a0] JSON v1.6.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.4 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 [1bc83da4] SafeTestsets v0.1.0 [ec057cc2] StructUtils v2.8.2 ⌅ [8ea1fca8] TermInterface v0.3.3 [a759f4b9] TimerOutputs v0.5.29 [3bb67fe8] TranscodingStreams v0.11.3 [2e619515] Expat_jll v2.8.0+0 [020c3dae] Git_LFS_jll v3.7.1+0 [f8c6e375] Git_jll v2.54.0+0 [94ce4f54] Libiconv_jll v1.18.0+0 [9bd350c2] OpenSSH_jll v10.3.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.13.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.5.1+0 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.3+0 [29816b5a] LibSSH2_jll v1.11.101+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [458c3c95] OpenSSL_jll v3.5.6+0 [efcefdf7] PCRE2_jll v10.47.0+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.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 1m18.3s [ 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.5s 28.769556 seconds (8.00 M allocations: 445.126 MiB, 0.42% gc time, 98.68% 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 35.7s 35.733173 seconds (18.61 M allocations: 749.512 MiB, 0.92% gc time, 94.48% 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.3s 0.307890 seconds (72.46 k allocations: 3.558 MiB, 80.42% 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.2s 7.247123 seconds (3.29 M allocations: 161.331 MiB, 0.64% gc time, 95.49% 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.957832 seconds (3.32 M allocations: 126.789 MiB, 94.78% 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 14.4s 14.447213 seconds (5.15 M allocations: 292.038 MiB, 2.15% gc time, 99.07% compilation time: 12% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/logic.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/logic.jl | 16 16 1m03.7s 63.668971 seconds (286.69 M allocations: 5.507 GiB, 4.30% gc time, 15.44% compilation time: 2% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/stream_fusion.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/stream_fusion.jl | 2 2 18.2s 18.188481 seconds (5.04 M allocations: 285.243 MiB, 0.48% gc time, 99.20% compilation time: 4% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/taylor.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/taylor.jl | 1 1 4.1s 4.075810 seconds (878.95 k allocations: 132.479 MiB, 1.24% gc time, 73.01% compilation time: 2% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/while_superinterpreter.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/integration/while_superinterpreter.jl | 16 16 13.2s 13.187372 seconds (7.70 M allocations: 316.645 MiB, 0.56% gc time, 94.33% compilation time: 4% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/tutorials/custom_types.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/tutorials/custom_types.jl | 1 1 2.3s 2.354232 seconds (816.33 k allocations: 46.431 MiB, 2.07% gc time, 98.11% compilation time: 40% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/tutorials/fibonacci.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/tutorials/fibonacci.jl | 1 1 0.9s 0.893299 seconds (287.49 k allocations: 15.804 MiB, 96.01% compilation time: 85% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/tutorials/mu.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/tutorials/mu.jl | 1 1 2.4s 2.365988 seconds (742.79 k allocations: 39.845 MiB, 98.34% compilation time: 5% of which was recompilation) [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/tutorials/while_interpreter.jl Test Summary: | Pass Total Time /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/tutorials/while_interpreter.jl | 13 13 12.5s 12.505535 seconds (3.42 M allocations: 180.275 MiB, 0.86% gc time, 96.79% compilation time: <1% of which was recompilation) 213.132676 seconds (344.06 M allocations: 8.239 GiB, 1.84% gc time, 72.03% compilation time: 4% of which was recompilation) elapsed time (ns): 2.13132676065e11 gc time (ns): 3911631695 bytes allocated: 8846204784 pool allocs: 343874431 non-pool GC allocs: 202 malloc() calls: 120198 realloc() calls: 67760 free() calls: 84730 minor collections: 100 full collections: 4 Testing Metatheory tests passed Testing completed after 312.46s PkgEval succeeded after 510.97s