Package evaluation to test AlgebraicRewriting on Julia 1.14.0-DEV.3128 (f573e2bf71*) started at 2026-09-06T21:10:40.943 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 16.33s ################################################################################ # Installation # Installing AlgebraicRewriting... Resolving package versions... Installed ExprTools ─────────────────── v0.1.11 Installed RuntimeGeneratedFunctions ─── v0.5.25 Installed OrderedCollections ────────── v1.8.2 Installed AlgebraicInterfaces ───────── v0.1.4 Installed LightXML ──────────────────── v0.9.3 Installed MacroTools ────────────────── v0.5.16 Installed DataStructures ────────────── v0.18.22 Installed Compat ────────────────────── v4.18.1 Installed CompTime ──────────────────── v0.1.2 Installed Combinatorics ─────────────── v1.1.0 Installed GATlab ────────────────────── v0.2.4 Installed Statistics ────────────────── v1.11.5 Installed StaticArrays ──────────────── v1.9.20 Installed IteratorInterfaceExtensions ─ v1.0.0 Installed DataAPI ───────────────────── v1.16.0 Installed Measures ──────────────────── v0.3.3 Installed DataValueInterfaces ───────── v1.0.0 Installed PrecompileTools ───────────── v1.3.4 Installed Colors ────────────────────── v0.13.1 Installed StaticArraysCore ──────────── v1.4.4 Installed StringManipulation ────────── v0.5.0 Installed PEG ───────────────────────── v1.0.4 Installed ColorTypes ────────────────── v0.12.1 Installed Requires ──────────────────── v1.3.1 Installed JSON3 ─────────────────────── v1.14.3 Installed Parsers ───────────────────── v2.8.8 Installed Tables ────────────────────── v1.14.0 Installed XML2_jll ──────────────────── v2.15.3+0 Installed JSON ──────────────────────── v0.21.4 Installed AlgebraicRewriting ────────── v0.5.0 Installed PrettyTables ──────────────── v3.4.8 Installed FixedPointNumbers ─────────── v0.8.6 Installed StructEquality ────────────── v2.1.0 Installed JLLWrappers ───────────────── v1.8.0 Installed Reexport ──────────────────── v1.2.2 Installed Libiconv_jll ──────────────── v1.18.0+0 Installed TableTraits ───────────────── v1.0.1 Installed Preferences ───────────────── v1.5.2 Installed Permutations ──────────────── v0.4.23 ┌ Warning: Downloaded package content does not match expected hash (git-tree-sha1); skipping this source │ package = "ACSets" │ url = "https://api.github.com/repos/AlgebraicJulia/ACSets.jl/tarball/068cdacaaf8f252596322521cc4808ab1f94ff8f" │ expected = SHA1("068cdacaaf8f252596322521cc4808ab1f94ff8f") │ computed = 20-element Vector{UInt8}: [0x35, 0xf0, 0x9d, 0xac, 0xfb, 0x7c, 0… └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:1280 Installed Crayons ───────────────────── v4.2.0 Installed LaTeXStrings ──────────────── v1.4.1 Installed IterTools ─────────────────── v1.10.0 Installed StructTypes ───────────────── v1.11.0 Installed MLStyle ───────────────────── v0.4.17 Installed Compose ───────────────────── v0.9.7 Installed Catlab ────────────────────── v0.17.6 Cloning [227ef7b5-1206-438b-ac65-934d6da304b8] ACSets from https://github.com/AlgebraicJulia/ACSets.jl.git Installed ACSets ────────────────────── v0.2.29 Installing 2 artifacts Installed artifact XML2 1.8 MiB Installed artifact Libiconv 1022.9 KiB Updating `~/.julia/environments/v1.14/Project.toml` [725a01d3] + AlgebraicRewriting v0.5.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [227ef7b5] + ACSets v0.2.29 [23cfdc9f] + AlgebraicInterfaces v0.1.4 [725a01d3] + AlgebraicRewriting v0.5.0 [134e5e36] + Catlab v0.17.6 [3da002f7] + ColorTypes v0.12.1 [5ae59095] + Colors v0.13.1 [861a8166] + Combinatorics v1.1.0 [0fb5dd42] + CompTime v0.1.2 [34da2185] + Compat v4.18.1 [a81c6b42] + Compose v0.9.7 [a8cc5b0e] + Crayons v4.2.0 [9a962f9c] + DataAPI v1.16.0 ⌅ [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [e2ba6199] + ExprTools v0.1.11 ⌅ [53c48c17] + FixedPointNumbers v0.8.6 [f0ffcf3b] + GATlab v0.2.4 [c8e1da08] + IterTools v1.10.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.8.0 ⌅ [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.3 [deprecated] [b964fa9f] + LaTeXStrings v1.4.1 [9c8b4983] + LightXML v0.9.3 [d8e11817] + MLStyle v0.4.17 [1914dd2f] + MacroTools v0.5.16 [442fdcdd] + Measures v0.3.3 ⌅ [bac558e1] + OrderedCollections v1.8.2 [12d937ae] + PEG v1.0.4 ⌅ [69de0a69] + Parsers v2.8.8 [2ae35dd2] + Permutations v0.4.23 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [08abe8d2] + PrettyTables v3.4.8 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [7e49a35a] + RuntimeGeneratedFunctions v0.5.25 [90137ffa] + StaticArrays v1.9.20 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.5 ⌅ [892a3eda] + StringManipulation v0.5.0 [6ec83bb0] + StructEquality v2.1.0 [856f2bd8] + StructTypes v1.11.0 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.14.0 [94ce4f54] + Libiconv_jll v1.18.0+0 [02c8fc9c] + XML2_jll v2.15.3+0 [0dad84c5] + ArgTools v1.2.0 [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 [37e2e46d] + LinearAlgebra v1.14.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [a63ad114] + Mmap 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 [2f01184e] + SparseArrays v1.13.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.7+0 [deac9b47] + LibCURL_jll v8.21.0+0 [e37daf67] + LibGit2_jll v1.9.7+0 [29816b5a] + LibSSH2_jll v1.11.104+0 [14a3606d] + MozillaCACerts_jll v2026.8.13 [4536629a] + OpenBLAS_jll v0.3.34+0 [458c3c95] + OpenSSL_jll v3.5.8+0 [efcefdf7] + PCRE2_jll v10.48.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.70.0+0 [3f19e933] + p7zip_jll v17.8.2+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Info Packages marked with [deprecated] are no longer maintained. Use `status --deprecated -m` to see more information. Installation completed after 12.07s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 4.5 s ✓ TestEnv 1 dependency successfully precompiled in 5 seconds. 27 already precompiled. ┌ Warning: Could not use exact versions of packages in manifest, re-resolving └ @ TestEnv ~/.julia/packages/TestEnv/sTG3E/src/julia-1.13/activate_set.jl:78 ┌ Warning: Downloaded package content does not match expected hash (git-tree-sha1); skipping this source │ package = "ACSets" │ url = "https://api.github.com/repos/AlgebraicJulia/ACSets.jl/tarball/80ca69d6844aa5a1e67338b5362e393007c4c168" │ expected = SHA1("80ca69d6844aa5a1e67338b5362e393007c4c168") │ computed = 20-element Vector{UInt8}: [0xd1, 0x1b, 0xa5, 0x13, 0x1c, 0x10, 0… └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:1280 Precompiling package dependencies... Precompiling project... 3.8 s ✓ MacroTools 0.6 s ✓ Reexport 0.8 s ✓ Statistics 0.6 s ✓ DataAPI 0.7 s ✓ Measures 0.7 s ✓ PrettyPrint 0.5 s ✓ DataValueInterfaces 0.7 s ✓ StaticArraysCore 1.1 s ✓ OrderedCollections 23.3 s ✓ MLStyle 0.5 s ✓ AlgebraicInterfaces 0.6 s ✓ PEG 0.9 s ✓ IterTools 1.7 s ✓ Combinatorics 1.6 s ✓ Compiler 0.5 s ✓ IteratorInterfaceExtensions 0.6 s ✓ LaTeXStrings 2.1 s ✓ Crayons 0.7 s ✓ Requires 1.8 s ✓ StructTypes 3.0 s ✓ CodeTracking 0.8 s ✓ Compat 1.2 s ✓ Preferences 2.3 s ✓ FixedPointNumbers 1.6 s ✓ Statistics → SparseArraysExt 0.6 s ✓ NameResolution 7.4 s ✓ CompTime 1.0 s ✓ Permutations 0.5 s ✓ TableTraits 11.8 s ✓ JuliaInterpreter 0.5 s ✓ Compat → CompatLinearAlgebraExt 1.5 s ✓ JLLWrappers 1.1 s ✓ PrecompileTools 2.6 s ✓ ColorTypes 8.5 s ✓ JuliaVariables 1.8 s ✓ Tables 21.5 s ✓ LoweredCodeUtils 0.6 s ✓ StructEquality 3.7 s ✓ DataStructures 1.7 s ✓ Libiconv_jll 14.2 s ✓ StaticArrays 6.6 s ✓ StringManipulation 10.8 s ✓ Parsers 1.2 s ✓ ColorTypes → StyledStringsExt 5.5 s ✓ Colors 7.8 s ✓ Revise 11.6 s ✓ GeneralizedGenerated 1.3 s ✓ XML2_jll 1.3 s ✓ StaticArrays → StaticArraysStatisticsExt 28.6 s ✓ PrettyTables 16.0 s ✓ JSON3 4.0 s ✓ JSON 1.3 s ✓ LightXML 33.6 s ✓ ACSets 7.0 s ✓ Compose 66.5 s ✓ GATlab 130.6 s ✓ Catlab 40.0 s ✓ AlgebraicRewriting 58 dependencies successfully precompiled in 506 seconds. 36 already precompiled. Precompilation completed after 508.77s ################################################################################ # Testing # Testing AlgebraicRewriting Test Could not use exact versions of packages in manifest, re-resolving. Note: if you do not check your manifest file into source control, then you can probably ignore this message. However, if you do check your manifest file into source control, then you probably want to pass the `allow_reresolve = false` kwarg when calling the `Pkg.test` function. Updating `/tmp/jl_4pzzFK/Project.toml` ⌃ [134e5e36] ↓ Catlab v0.17.6 ⇒ v0.17.4 ⌅ [08abe8d2] ↓ PrettyTables v3.4.8 ⇒ v2.4.0 [295af30f] + Revise v3.17.0 Updating `/tmp/jl_4pzzFK/Manifest.toml` ⌃ [227ef7b5] ↓ ACSets v0.2.29 ⇒ v0.2.26 ⌃ [134e5e36] ↓ Catlab v0.17.6 ⇒ v0.17.4 [da1fd8a2] + CodeTracking v3.0.2 [807dbc54] + Compiler v0.1.1 [e2ba6199] - ExprTools v0.1.11 [6b9d7cbe] + GeneralizedGenerated v0.3.3 [aa1ae85d] + JuliaInterpreter v0.11.4 [b14d175d] + JuliaVariables v0.2.4 [6f1432cf] + LoweredCodeUtils v3.8.0 [71a1bf82] + NameResolution v0.1.5 [8162dcfd] + PrettyPrint v0.2.0 ⌅ [08abe8d2] ↓ PrettyTables v3.4.8 ⇒ v2.4.0 [295af30f] + Revise v3.17.0 [7e49a35a] - RuntimeGeneratedFunctions v0.5.25 ⌅ [892a3eda] ↓ StringManipulation v0.5.0 ⇒ v0.4.7 [8bf52ea8] + CRC32c v1.11.0 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Test Successfully re-resolved Status `/tmp/jl_4pzzFK/Project.toml` [725a01d3] AlgebraicRewriting v0.5.0 ⌃ [134e5e36] Catlab v0.17.4 ⌅ [864edb3b] DataStructures v0.18.22 ⌅ [08abe8d2] PrettyTables v2.4.0 [295af30f] Revise v3.17.0 [6ec83bb0] StructEquality v2.1.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_4pzzFK/Manifest.toml` ⌃ [227ef7b5] ACSets v0.2.26 [23cfdc9f] AlgebraicInterfaces v0.1.4 [725a01d3] AlgebraicRewriting v0.5.0 ⌃ [134e5e36] Catlab v0.17.4 [da1fd8a2] CodeTracking v3.0.2 [3da002f7] ColorTypes v0.12.1 [5ae59095] Colors v0.13.1 [861a8166] Combinatorics v1.1.0 [0fb5dd42] CompTime v0.1.2 [34da2185] Compat v4.18.1 [807dbc54] Compiler v0.1.1 [a81c6b42] Compose v0.9.7 [a8cc5b0e] Crayons v4.2.0 [9a962f9c] DataAPI v1.16.0 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 ⌅ [53c48c17] FixedPointNumbers v0.8.6 [f0ffcf3b] GATlab v0.2.4 [6b9d7cbe] GeneralizedGenerated v0.3.3 [c8e1da08] IterTools v1.10.0 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.8.0 ⌅ [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [deprecated] [aa1ae85d] JuliaInterpreter v0.11.4 [b14d175d] JuliaVariables v0.2.4 [b964fa9f] LaTeXStrings v1.4.1 [9c8b4983] LightXML v0.9.3 [6f1432cf] LoweredCodeUtils v3.8.0 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.16 [442fdcdd] Measures v0.3.3 [71a1bf82] NameResolution v0.1.5 ⌅ [bac558e1] OrderedCollections v1.8.2 [12d937ae] PEG v1.0.4 ⌅ [69de0a69] Parsers v2.8.8 [2ae35dd2] Permutations v0.4.23 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [8162dcfd] PrettyPrint v0.2.0 ⌅ [08abe8d2] PrettyTables v2.4.0 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [295af30f] Revise v3.17.0 [90137ffa] StaticArrays v1.9.20 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.5 ⌅ [892a3eda] StringManipulation v0.4.7 [6ec83bb0] StructEquality v2.1.0 [856f2bd8] StructTypes v1.11.0 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.14.0 [94ce4f54] Libiconv_jll v1.18.0+0 [02c8fc9c] XML2_jll v2.15.3+0 [0dad84c5] ArgTools v1.2.0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [8bf52ea8] CRC32c 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 [37e2e46d] LinearAlgebra v1.14.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [a63ad114] Mmap 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 [2f01184e] SparseArrays v1.13.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.7+0 [deac9b47] LibCURL_jll v8.21.0+0 [e37daf67] LibGit2_jll v1.9.7+0 [29816b5a] LibSSH2_jll v1.11.104+0 [14a3606d] MozillaCACerts_jll v2026.8.13 [4536629a] OpenBLAS_jll v0.3.34+0 [458c3c95] OpenSSL_jll v3.5.8+0 [efcefdf7] PCRE2_jll v10.48.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.70.0+0 [3f19e933] p7zip_jll v17.8.2+0 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. Info Packages marked with [deprecated] are no longer maintained. Testing Running tests... ERROR: LoadError: UndefVarError: `collect` not defined in `AlgebraicRewriting.CategoricalAlgebra.CSets` Hint: It looks like two or more modules export different bindings with this name, resulting in ambiguity. Try explicitly importing it from a particular module, or qualifying the name with the module it should come from. Hint: a global variable of this name also exists in Base. Stacktrace: [1] macro expansion @ ~/.julia/packages/AlgebraicRewriting/4tkrF/src/categorical_algebra/CSets.jl:299 [inlined] [2] macro expansion @ ~/.julia/packages/CompTime/Ppb3B/src/CompTime.jl:137 [inlined] [3] comptime(::typeof(AlgebraicRewriting.CategoricalAlgebra.CSets._dangling_condition), pair::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.ComposableHoms.ComposablePair{Catlab.Graphs.BasicGraphs.Graph, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}, StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}}}, 172::Core.TypeEgal{Val{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}}}, 173::Core.TypeEgal{Val{(:V, :E)}}) @ AlgebraicRewriting.CategoricalAlgebra.CSets ~/.julia/packages/CompTime/Ppb3B/src/CompTime.jl:137 [4] _dangling_condition(pair::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.ComposableHoms.ComposablePair{Catlab.Graphs.BasicGraphs.Graph, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}, StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}}}, 172::Core.TypeEgal{Val{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}}}, 173::Core.TypeEgal{Val{(:V, :E)}}) @ AlgebraicRewriting.CategoricalAlgebra.CSets none:-1 [inlined] [5] dangling_condition(pair::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.ComposableHoms.ComposablePair{Catlab.Graphs.BasicGraphs.Graph, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}, StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}}}) @ AlgebraicRewriting.CategoricalAlgebra.CSets ~/.julia/packages/AlgebraicRewriting/4tkrF/src/categorical_algebra/CSets.jl:288 [inlined] [6] macro expansion @ ~/.julia/packages/AlgebraicRewriting/4tkrF/src/categorical_algebra/CSets.jl:269 [inlined] [7] pushout_complement_violations(m#170::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, pair::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.ComposableHoms.ComposablePair{Catlab.Graphs.BasicGraphs.Graph, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}, StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}}}; context::Nothing) @ AlgebraicRewriting.CategoricalAlgebra.CSets none:0 [8] (::AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#148#44"{AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#148#35#45"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(args::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.ComposableHoms.ComposablePair{Catlab.Graphs.BasicGraphs.Graph, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}, StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}}}; context::Nothing) @ AlgebraicRewriting.CategoricalAlgebra.Theories ~/.julia/packages/GATlab/DZoqr/src/syntax/TheoryInterface.jl:260 [inlined] [9] (::AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#148#44"{AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#148#35#45"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(args::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.ComposableHoms.ComposablePair{Catlab.Graphs.BasicGraphs.Graph, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}, StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}}}) @ AlgebraicRewriting.CategoricalAlgebra.Theories ~/.julia/packages/GATlab/DZoqr/src/syntax/TheoryInterface.jl:259 [10] can_match(r::Rule{:DPO}, m::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, homsearch::Bool, initial::Dict{Any, Any}) @ AlgebraicRewriting.Rewrite.Utils ~/.julia/packages/AlgebraicRewriting/4tkrF/src/rewrite/Utils.jl:177 [11] (::AlgebraicRewriting.Rewrite.Utils.var"#17#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Rule{:DPO}})(m::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction}, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph}) @ AlgebraicRewriting.Rewrite.Utils ~/.julia/packages/AlgebraicRewriting/4tkrF/src/rewrite/Utils.jl:211 [12] (::Catlab.CategoricalAlgebra.Pointwise.HomSearch.var"#6#7"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Nothing, Nothing, AlgebraicRewriting.Rewrite.Utils.var"#17#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Rule{:DPO}}, Vector{Any}})(αs::Base.Generator{Base.Iterators.ProductIterator{Tuple{}}, Catlab.CategoricalAlgebra.Pointwise.HomSearch.var"#95#96"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph, @NamedTuple{V::Vector{Int64}, E::Vector{Int64}}, Vector{Tuple{Vector{Int64}, Any}}, Dict{Symbol, Vector{Int64}}, ACSets.Schemas.BasicSchema{Symbol}}}) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:131 [13] backtracking_search(f::Catlab.CategoricalAlgebra.Pointwise.HomSearch.var"#6#7"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Nothing, Nothing, AlgebraicRewriting.Rewrite.Utils.var"#17#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Rule{:DPO}}, Vector{Any}}, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.BacktrackingState{Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph, @NamedTuple{V::Vector{Int64}, E::Vector{Int64}}, @NamedTuple{V::Nothing, E::Nothing}, @NamedTuple{}, @NamedTuple{V::Vector{Union{Nothing, Set{Int64}}}, E::Vector{Union{Nothing, Set{Int64}}}}, @NamedTuple{V::Nothing, E::Nothing}, @NamedTuple{V::Nothing, E::Nothing}}, depth::Int64; random::Bool) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:349 [14] backtracking_search(f::Function, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.BacktrackingState{Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph, @NamedTuple{V::Vector{Int64}, E::Vector{Int64}}, @NamedTuple{V::Nothing, E::Nothing}, @NamedTuple{}, @NamedTuple{V::Vector{Union{Nothing, Set{Int64}}}, E::Vector{Union{Nothing, Set{Int64}}}}, @NamedTuple{V::Nothing, E::Nothing}, @NamedTuple{V::Nothing, E::Nothing}}, depth::Int64) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:337 [15] backtracking_search(f::Catlab.CategoricalAlgebra.Pointwise.HomSearch.var"#6#7"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Nothing, Nothing, AlgebraicRewriting.Rewrite.Utils.var"#17#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Rule{:DPO}}, Vector{Any}}, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.BacktrackingState{Catlab.Graphs.BasicGraphs.Graph, Catlab.Graphs.BasicGraphs.Graph, @NamedTuple{V::Vector{Int64}, E::Vector{Int64}}, @NamedTuple{V::Nothing, E::Nothing}, @NamedTuple{}, @NamedTuple{V::Vector{Union{Nothing, Set{Int64}}}, E::Vector{Union{Nothing, Set{Int64}}}}, @NamedTuple{V::Nothing, E::Nothing}, @NamedTuple{V::Nothing, E::Nothing}}, depth::Int64; random::Bool) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:360 [16] backtracking_search(f::Catlab.CategoricalAlgebra.Pointwise.HomSearch.var"#6#7"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Nothing, Nothing, AlgebraicRewriting.Rewrite.Utils.var"#17#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Rule{:DPO}}, Vector{Any}}, X::Catlab.Graphs.BasicGraphs.Graph, Y::Catlab.Graphs.BasicGraphs.Graph; monic::Vector{Symbol}, epic::Bool, iso::Bool, random::Bool, predicates::@NamedTuple{}, type_components::@NamedTuple{}, initial::@NamedTuple{}, error_failures::Bool, no_bind::Bool, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:330 [17] homomorphisms(X::Catlab.Graphs.BasicGraphs.Graph, Y::Catlab.Graphs.BasicGraphs.Graph, alg::Catlab.CategoricalAlgebra.Pointwise.HomSearch.BacktrackingSearch; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, take::Nothing, max::Nothing, filter::AlgebraicRewriting.Rewrite.Utils.var"#17#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Rule{:DPO}}, kw::@Kwargs{monic::Vector{Symbol}}) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:129 [inlined] [18] homomorphisms(X::Catlab.Graphs.BasicGraphs.Graph, Y::Catlab.Graphs.BasicGraphs.Graph; alg::Catlab.CategoricalAlgebra.Pointwise.HomSearch.BacktrackingSearch, kw::@Kwargs{cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, monic::Vector{Symbol}, filter::AlgebraicRewriting.Rewrite.Utils.var"#17#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Rule{:DPO}}}) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:107 [inlined] [19] get_matches(r::Rule{:DPO}, G::Catlab.Graphs.BasicGraphs.Graph; cat::Nothing, kw::@Kwargs{}) @ AlgebraicRewriting.Rewrite.Utils ~/.julia/packages/AlgebraicRewriting/4tkrF/src/rewrite/Utils.jl:210 [20] get_matches(r::Rule{:DPO}, G::Catlab.Graphs.BasicGraphs.Graph) @ AlgebraicRewriting.Rewrite.Utils ~/.julia/packages/AlgebraicRewriting/4tkrF/src/rewrite/Utils.jl:208 [21] top-level scope @ ~/.julia/packages/AlgebraicRewriting/4tkrF/docs/literate/full_demo.jl:68 [22] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:335 [23] top-level scope @ ~/.julia/packages/AlgebraicRewriting/4tkrF/test/runtests.jl:10 [24] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:335 [25] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/4tkrF/docs/literate/full_demo.jl:68 in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/4tkrF/test/runtests.jl:9 Testing failed after 85.78s ERROR: LoadError: Package AlgebraicRewriting 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:3298 [3] 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:587 [4] 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 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 676.65s: package tests unexpectedly errored