Package evaluation of Metatheory on Julia 1.10.9 (96dc2d8c45*) started at 2025-06-06T12:57:11.966 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 5.45s ################################################################################ # Installation # Installing Metatheory... Resolving package versions... Updating `~/.julia/environments/v1.10/Project.toml` [e9d8d322] + Metatheory v2.0.2 Updating `~/.julia/environments/v1.10/Manifest.toml` [15f4f7f2] + AutoHashEquals v2.2.0 [34da2185] + Compat v4.16.0 [864edb3b] + DataStructures v0.18.22 [ffbed154] + DocStringExtensions v0.9.4 [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 [ade2ca70] + Dates [b77e0a4c] + InteractiveUtils [d6f4376e] + Markdown [de0858da] + Printf [9a3f8284] + Random [ea8e919c] + SHA v0.7.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs [4ec0a83e] + Unicode 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 8.0s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 19.95s ################################################################################ # Testing # Testing Metatheory Status `/tmp/jl_6lkloX/Project.toml` [15f4f7f2] AutoHashEquals v2.2.0 [864edb3b] DataStructures v0.18.22 [ffbed154] DocStringExtensions v0.9.4 [e30172f5] Documenter v1.11.4 [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.29 [8dfed614] Test Status `/tmp/jl_6lkloX/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.22 [ffbed154] DocStringExtensions v0.9.4 [e30172f5] Documenter v1.11.4 [e2ba6199] ExprTools v0.1.10 [d7ba0133] Git v1.4.0 [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.1 [69de0a69] Parsers v2.8.3 ⌅ [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.29 [3bb67fe8] TranscodingStreams v0.11.3 [2e619515] Expat_jll v2.6.5+0 [f8c6e375] Git_jll v2.49.0+0 [94ce4f54] Libiconv_jll v1.18.0+0 [9bd350c2] OpenSSH_jll v10.0.1+0 [458c3c95] OpenSSL_jll v3.5.0+0 [0dad84c5] ArgTools v1.1.1 [56f22d72] Artifacts [2a0f44e3] Base64 [ade2ca70] Dates [f43a241f] Downloads v1.6.0 [7b1f6079] FileWatching [b77e0a4c] InteractiveUtils [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 [8f399da3] Libdl [56ddb016] Logging [d6f4376e] Markdown [a63ad114] Mmap [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.10.0 [de0858da] Printf [3fa0cd96] REPL [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [6462fe0b] Sockets [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test [cf7118a7] UUIDs [4ec0a83e] Unicode [deac9b47] LibCURL_jll v8.4.0+0 [e37daf67] LibGit2_jll v1.6.4+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.2+1 [14a3606d] MozillaCACerts_jll v2023.1.10 [efcefdf7] PCRE2_jll v10.42.0+1 [83775a58] Zlib_jll v1.2.13+1 [8e850ede] nghttp2_jll v1.52.0+1 [3f19e933] p7zip_jll v17.4.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/iRt2s/src/utilities/utilities.jl:665 WARNING: both EGraphs and DataStructures export "in_same_set"; uses of it in module Metatheory must be qualified [ 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 46.5s [ 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 20.5s 20.635855 seconds (6.97 M allocations: 485.393 MiB, 0.72% gc time, 98.56% 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 27.9s 27.955014 seconds (14.34 M allocations: 672.105 MiB, 2.53% gc time, 89.75% compilation time: <1% 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.215188 seconds (32.06 k allocations: 2.044 MiB, 77.88% 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 5.0s 5.000224 seconds (2.21 M allocations: 131.199 MiB, 0.67% gc time, 94.34% 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.1s 5.073183 seconds (2.93 M allocations: 168.015 MiB, 1.38% gc time, 94.04% compilation time) [ 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 8.8s 8.791474 seconds (3.14 M allocations: 216.191 MiB, 0.90% gc time, 98.67% compilation time: 10% 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 44.0s 44.019213 seconds (154.05 M allocations: 3.578 GiB, 5.86% gc time, 16.01% 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 13.2s 13.214130 seconds (4.24 M allocations: 295.080 MiB, 0.96% gc time, 98.96% compilation time: 3% 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 3.4s 3.384998 seconds (883.46 k allocations: 140.025 MiB, 1.76% gc time, 68.15% compilation time) [ 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 7.6s 7.654815 seconds (5.89 M allocations: 288.267 MiB, 1.25% gc time, 90.68% compilation time: 3% 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 1.5s 1.471974 seconds (500.54 k allocations: 34.649 MiB, 1.11% gc time, 97.53% compilation time: 22% 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.5s 0.554853 seconds (191.99 k allocations: 12.380 MiB, 94.98% compilation time: 78% 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 1.7s 1.754569 seconds (836.55 k allocations: 58.358 MiB, 1.69% gc time, 98.05% compilation time: 2% 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 8.9s 8.898846 seconds (2.81 M allocations: 175.532 MiB, 0.74% gc time, 95.17% compilation time: <1% of which was recompilation) 149.319641 seconds (199.05 M allocations: 6.196 GiB, 2.69% gc time, 70.95% compilation time: 2% of which was recompilation) elapsed time (ns): 149319640528 gc time (ns): 4012455973 bytes allocated: 6652627288 pool allocs: 198857852 non-pool GC allocs: 86429 malloc() calls: 41612 realloc() calls: 67847 free() calls: 41562 minor collections: 107 full collections: 6 Testing Metatheory tests passed Testing completed after 211.13s PkgEval succeeded after 249.09s