Package evaluation to test AlgebraicRewriting on Julia 1.14.0-DEV.2113 (886384998d*) started at 2026-05-03T19:19:41.322 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 16.1s ################################################################################ # Installation # Installing AlgebraicRewriting... Resolving package versions... Installed AlgebraicInterfaces ───────── v0.1.4 Installed NameResolution ────────────── v0.1.5 Installed CompTime ──────────────────── v0.1.2 Installed LightXML ──────────────────── v0.9.3 Installed JuliaVariables ────────────── v0.2.4 Installed MacroTools ────────────────── v0.5.16 Installed DataStructures ────────────── v0.18.22 Installed GATlab ────────────────────── v0.2.2 Installed OrderedCollections ────────── v1.8.1 Installed Combinatorics ─────────────── v1.1.0 Installed IteratorInterfaceExtensions ─ v1.0.0 Installed Compat ────────────────────── v4.18.1 Installed DataAPI ───────────────────── v1.16.0 Installed Statistics ────────────────── v1.11.1 Installed Colors ────────────────────── v0.13.1 Installed PrecompileTools ───────────── v1.3.3 Installed DataValueInterfaces ───────── v1.0.0 Installed PrettyPrint ───────────────── v0.2.0 Installed StaticArraysCore ──────────── v1.4.4 Installed Measures ──────────────────── v0.3.3 Installed StaticArrays ──────────────── v1.9.18 Installed PEG ───────────────────────── v1.0.4 Installed StringManipulation ────────── v0.4.4 Installed ColorTypes ────────────────── v0.12.1 Installed AlgebraicRewriting ────────── v0.5.0 ┌ 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/dabea268e85bfa2d87019772d1e5b5115542450f" │ expected = SHA1("dabea268e85bfa2d87019772d1e5b5115542450f") │ computed = 20-element Vector{UInt8}: … └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:1180 Installed JSON3 ─────────────────────── v1.14.3 Installed Tables ────────────────────── v1.12.1 Installed Requires ──────────────────── v1.3.1 Installed GeneralizedGenerated ──────── v0.3.3 Installed JSON ──────────────────────── v0.21.4 Installed Parsers ───────────────────── v2.8.4 Installed StructEquality ────────────── v2.1.0 Installed Reexport ──────────────────── v1.2.2 Installed XML2_jll ──────────────────── v2.15.1+0 Installed FixedPointNumbers ─────────── v0.8.5 Installed JLLWrappers ───────────────── v1.7.1 Installed Permutations ──────────────── v0.4.23 Installed Preferences ───────────────── v1.5.2 Installed PrettyTables ──────────────── v3.3.2 Installed TableTraits ───────────────── v1.0.1 Installed Libiconv_jll ──────────────── v1.18.0+0 Installed LaTeXStrings ──────────────── v1.4.0 Installed Crayons ───────────────────── v4.1.1 Installed StructTypes ───────────────── v1.11.0 Installed IterTools ─────────────────── v1.10.0 Installed MLStyle ───────────────────── v0.4.17 Installed Compose ───────────────────── v0.9.6 Installed Catlab ────────────────────── v0.17.5 Cloning [227ef7b5-1206-438b-ac65-934d6da304b8] ACSets from https://github.com/AlgebraicJulia/ACSets.jl.git Installed ACSets ────────────────────── v0.2.28 Installing 2 artifacts Installed artifact Libiconv 1.9 MiB Installed artifact XML2 2.2 MiB Updating `~/.julia/environments/v1.14/Project.toml` [725a01d3] + AlgebraicRewriting v0.5.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [227ef7b5] + ACSets v0.2.28 [23cfdc9f] + AlgebraicInterfaces v0.1.4 [725a01d3] + AlgebraicRewriting v0.5.0 [134e5e36] + Catlab v0.17.5 [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.6 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 ⌅ [864edb3b] + DataStructures v0.18.22 [e2d170a0] + DataValueInterfaces v1.0.0 [53c48c17] + FixedPointNumbers v0.8.5 [f0ffcf3b] + GATlab v0.2.2 [6b9d7cbe] + GeneralizedGenerated v0.3.3 [c8e1da08] + IterTools v1.10.0 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.1 ⌅ [682c06a0] + JSON v0.21.4 [0f8b85d8] + JSON3 v1.14.3 [b14d175d] + JuliaVariables v0.2.4 [b964fa9f] + LaTeXStrings v1.4.0 [9c8b4983] + LightXML v0.9.3 [d8e11817] + MLStyle v0.4.17 [1914dd2f] + MacroTools v0.5.16 [442fdcdd] + Measures v0.3.3 [71a1bf82] + NameResolution v0.1.5 [bac558e1] + OrderedCollections v1.8.1 [12d937ae] + PEG v1.0.4 [69de0a69] + Parsers v2.8.4 [2ae35dd2] + Permutations v0.4.23 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.2 [8162dcfd] + PrettyPrint v0.2.0 [08abe8d2] + PrettyTables v3.3.2 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [90137ffa] + StaticArrays v1.9.18 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [892a3eda] + StringManipulation v0.4.4 [6ec83bb0] + StructEquality v2.1.0 [856f2bd8] + StructTypes v1.11.0 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [94ce4f54] + Libiconv_jll v1.18.0+0 [02c8fc9c] + XML2_jll v2.15.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 [37e2e46d] + LinearAlgebra v1.13.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.0.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.1+0 [deac9b47] + LibCURL_jll v8.19.0+0 [e37daf67] + LibGit2_jll v1.9.2+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2026.3.19 [4536629a] + OpenBLAS_jll v0.3.33+0 [458c3c95] + OpenSSL_jll v3.5.6+0 [efcefdf7] + PCRE2_jll v10.47.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.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. To see why use `status --outdated -m` Installation completed after 10.41s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 4.9 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/RUPmD/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}: … └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:1180 Precompiling package dependencies... Precompiling project... 4.1 s ✓ MacroTools 0.8 s ✓ Reexport 1.2 s ✓ Statistics 0.9 s ✓ DataAPI 1.0 s ✓ Measures 1.0 s ✓ PrettyPrint 0.8 s ✓ DataValueInterfaces 1.1 s ✓ StaticArraysCore 1.5 s ✓ OrderedCollections 26.8 s ✓ MLStyle 0.8 s ✓ AlgebraicInterfaces 1.2 s ✓ PEG 1.3 s ✓ IterTools 2.3 s ✓ Combinatorics 1.8 s ✓ Compiler 0.8 s ✓ IteratorInterfaceExtensions 0.9 s ✓ LaTeXStrings 1.9 s ✓ Crayons 1.2 s ✓ Requires 2.2 s ✓ StructTypes 3.5 s ✓ CodeTracking 1.3 s ✓ Compat 1.6 s ✓ Preferences 4.4 s ✓ FixedPointNumbers 1.7 s ✓ Statistics → SparseArraysExt 0.9 s ✓ NameResolution 11.1 s ✓ CompTime 1.3 s ✓ Permutations 0.9 s ✓ TableTraits 13.7 s ✓ JuliaInterpreter 1.0 s ✓ Compat → CompatLinearAlgebraExt 1.7 s ✓ JLLWrappers 1.5 s ✓ PrecompileTools 3.0 s ✓ ColorTypes 12.7 s ✓ JuliaVariables 2.2 s ✓ Tables 22.5 s ✓ LoweredCodeUtils 1.0 s ✓ StructEquality 4.2 s ✓ DataStructures 2.5 s ✓ Libiconv_jll 16.0 s ✓ StaticArrays 4.4 s ✓ StringManipulation 19.2 s ✓ Parsers 1.4 s ✓ ColorTypes → StyledStringsExt 9.2 s ✓ Colors 13.4 s ✓ Revise 12.7 s ✓ GeneralizedGenerated 1.8 s ✓ XML2_jll 1.3 s ✓ StaticArrays → StaticArraysStatisticsExt 28.7 s ✓ PrettyTables 15.5 s ✓ JSON3 4.3 s ✓ JSON 1.5 s ✓ LightXML 38.5 s ✓ ACSets 7.7 s ✓ Compose 82.0 s ✓ GATlab 215.0 s ✓ Catlab 72.8 s ✓ AlgebraicRewriting 58 dependencies successfully precompiled in 692 seconds. 35 already precompiled. Precompilation completed after 724.33s ################################################################################ # 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_yV5xtr/Project.toml` ⌃ [134e5e36] ↓ Catlab v0.17.5 ⇒ v0.17.4 ⌅ [08abe8d2] ↓ PrettyTables v3.3.2 ⇒ v2.4.0 [295af30f] + Revise v3.14.2 Updating `/tmp/jl_yV5xtr/Manifest.toml` ⌃ [227ef7b5] ↓ ACSets v0.2.28 ⇒ v0.2.26 ⌃ [134e5e36] ↓ Catlab v0.17.5 ⇒ v0.17.4 [da1fd8a2] + CodeTracking v3.0.2 [807dbc54] + Compiler v0.1.1 [aa1ae85d] + JuliaInterpreter v0.10.12 [6f1432cf] + LoweredCodeUtils v3.5.1 ⌅ [08abe8d2] ↓ PrettyTables v3.3.2 ⇒ v2.4.0 [295af30f] + Revise v3.14.2 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_yV5xtr/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.14.2 [6ec83bb0] StructEquality v2.1.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_yV5xtr/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.6 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [53c48c17] FixedPointNumbers v0.8.5 [f0ffcf3b] GATlab v0.2.2 [6b9d7cbe] GeneralizedGenerated v0.3.3 [c8e1da08] IterTools v1.10.0 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.1 ⌅ [682c06a0] JSON v0.21.4 [0f8b85d8] JSON3 v1.14.3 [aa1ae85d] JuliaInterpreter v0.10.12 [b14d175d] JuliaVariables v0.2.4 [b964fa9f] LaTeXStrings v1.4.0 [9c8b4983] LightXML v0.9.3 [6f1432cf] LoweredCodeUtils v3.5.1 [d8e11817] MLStyle v0.4.17 [1914dd2f] MacroTools v0.5.16 [442fdcdd] Measures v0.3.3 [71a1bf82] NameResolution v0.1.5 [bac558e1] OrderedCollections v1.8.1 [12d937ae] PEG v1.0.4 [69de0a69] Parsers v2.8.4 [2ae35dd2] Permutations v0.4.23 [aea7be01] PrecompileTools v1.3.3 [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.14.2 [90137ffa] StaticArrays v1.9.18 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [892a3eda] StringManipulation v0.4.4 [6ec83bb0] StructEquality v2.1.0 [856f2bd8] StructTypes v1.11.0 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [94ce4f54] Libiconv_jll v1.18.0+0 [02c8fc9c] XML2_jll v2.15.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 [37e2e46d] LinearAlgebra v1.13.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.0.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.1+0 [deac9b47] LibCURL_jll v8.19.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2026.3.19 [4536629a] OpenBLAS_jll v0.3.33+0 [458c3c95] OpenSSL_jll v3.5.6+0 [efcefdf7] PCRE2_jll v10.47.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.69.0+0 [3f19e933] p7zip_jll v17.8.0+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. 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}}}, 174::Type{Val{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}}}, 175::Type{Val{(:V, :E)}}) @ AlgebraicRewriting.CategoricalAlgebra.CSets ~/.julia/packages/CompTime/Ppb3B/src/CompTime.jl:137 [4] _dangling_condition @ ./none:-1 [inlined] [5] _similar_shape(itr::Base.Generator{Vector{Tuple{Symbol, Int64, Int64}}, AlgebraicRewriting.CategoricalAlgebra.CSets.var"#71#72"}, ::Base.HasShape{1}) @ Base ~/.julia/packages/AlgebraicRewriting/4tkrF/src/categorical_algebra/CSets.jl:288 [inlined] [6] collect(itr::Base.Generator{Vector{Tuple{Symbol, Int64, Int64}}, AlgebraicRewriting.CategoricalAlgebra.CSets.var"#71#72"}) @ Base ~/.julia/packages/AlgebraicRewriting/4tkrF/src/categorical_algebra/CSets.jl:269 [inlined] [7] pushout_complement_violations(m#172::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] pushout_complement_violations @ ./none:-1 [inlined] [9] (::AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#150#44"{AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#150#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/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [10] (::AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#150#44"{AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#150#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/X6I1A/src/syntax/TheoryInterface.jl:253 [11] 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 [12] (::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 [13] (::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 [14] 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 [15] 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 [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}}, 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 [17] 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 [18] backtracking_search @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:219 [inlined] [19] #homomorphisms#4 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:129 [inlined] [20] homomorphisms @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:121 [inlined] [21] #homomorphisms#3 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:107 [inlined] [22] 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 [23] get_matches(r::Rule{:DPO}, G::Catlab.Graphs.BasicGraphs.Graph) @ AlgebraicRewriting.Rewrite.Utils ~/.julia/packages/AlgebraicRewriting/4tkrF/src/rewrite/Utils.jl:208 [24] top-level scope @ ~/.julia/packages/AlgebraicRewriting/4tkrF/docs/literate/full_demo.jl:68 [25] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:327 [26] top-level scope @ ~/.julia/packages/AlgebraicRewriting/4tkrF/test/runtests.jl:10 [27] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:327 [28] top-level scope @ none:6 [29] eval(m::Module, e::Any) @ Core ./boot.jl:517 [30] exec_options(opts::Base.JLOptions) @ Base ./client.jl:318 [31] _start() @ Base ./client.jl:593 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 92.51s 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:3162 [3] Cmd(cmd::Cmd) @ Base /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3025 [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] 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 [6] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [7] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [inlined] [8] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [9] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [10] include(mod::Module, _path::String) @ Base ./Base.jl:326 [11] exec_options(opts::Base.JLOptions) @ Base ./client.jl:352 [12] _start() @ Base ./client.jl:593 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 869.99s: package tests unexpectedly errored