Package evaluation to test AlgebraicRewriting on Julia 1.14.0-DEV.1711 (41ad7d9eeb*) started at 2026-02-12T18:48:21.466 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 12.36s ################################################################################ # Installation # Installing AlgebraicRewriting... Resolving package versions... ┌ Warning: tarball content of url https://api.github.com/repos/AlgebraicJulia/ACSets.jl/tarball/80ca69d6844aa5a1e67338b5362e393007c4c168 does not match git-tree-sha1, expected 80ca69d6844aa5a1e67338b5362e393007c4c168, got UInt8[0xd1, 0x1b, 0xa5, 0x13, 0x1c, 0x10, 0xde, 0x7a, 0x07, 0x55, 0x00, 0x30, 0xe6, 0x80, 0xaf, 0xa0, 0x1e, 0x32, 0xbf, 0xfb] └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:1179 Cloning [227ef7b5-1206-438b-ac65-934d6da304b8] ACSets from https://github.com/AlgebraicJulia/ACSets.jl.git Updating git-repo `https://github.com/AlgebraicJulia/ACSets.jl.git` Installed ACSets ─ v0.2.26 Updating `~/.julia/environments/v1.14/Project.toml` [725a01d3] + AlgebraicRewriting v0.5.0 Updating `~/.julia/environments/v1.14/Manifest.toml` ⌃ [227ef7b5] + ACSets v0.2.26 [23cfdc9f] + AlgebraicInterfaces v0.1.4 [725a01d3] + AlgebraicRewriting v0.5.0 [134e5e36] + Catlab v0.17.4 [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.3 [2ae35dd2] + Permutations v0.4.23 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.1 [8162dcfd] + PrettyPrint v0.2.0 ⌅ [08abe8d2] + PrettyTables v2.4.0 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [90137ffa] + StaticArrays v1.9.16 [1e83bf80] + StaticArraysCore v1.4.4 [10745b16] + Statistics v1.11.1 [892a3eda] + StringManipulation v0.4.2 [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 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [9e88b42a] + Serialization 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.3.0+1 [deac9b47] + LibCURL_jll v8.18.0+0 [e37daf67] + LibGit2_jll v1.9.2+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.12.2 [4536629a] + OpenBLAS_jll v0.3.30+0 [458c3c95] + OpenSSL_jll v3.5.5+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [bea87d4a] + SuiteSparse_jll v7.10.1+0 [83775a58] + Zlib_jll v1.3.1+2 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.68.0+1 [3f19e933] + p7zip_jll v17.7.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. To see why use `status --outdated -m` Installation completed after 6.28s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 34827.8 ms ✓ ACSets 81693.2 ms ✓ GATlab 233486.2 ms ✓ Catlab 72534.0 ms ✓ AlgebraicRewriting 4 dependencies successfully precompiled in 424 seconds. 89 already precompiled. Precompilation completed after 445.3s ################################################################################ # Testing # Testing AlgebraicRewriting Status `/tmp/jl_HmC6Hy/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.13.2 [6ec83bb0] StructEquality v2.1.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_HmC6Hy/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.0 [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.9 [b14d175d] JuliaVariables v0.2.4 [b964fa9f] LaTeXStrings v1.4.0 [9c8b4983] LightXML v0.9.3 [6f1432cf] LoweredCodeUtils v3.5.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.1 [12d937ae] PEG v1.0.4 [69de0a69] Parsers v2.8.3 [2ae35dd2] Permutations v0.4.23 [aea7be01] PrecompileTools v1.3.3 [21216c6a] Preferences v1.5.1 [8162dcfd] PrettyPrint v0.2.0 ⌅ [08abe8d2] PrettyTables v2.4.0 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [295af30f] Revise v3.13.2 [90137ffa] StaticArrays v1.9.16 [1e83bf80] StaticArraysCore v1.4.4 [10745b16] Statistics v1.11.1 [892a3eda] StringManipulation v0.4.2 [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.3.0+1 [deac9b47] LibCURL_jll v8.18.0+0 [e37daf67] LibGit2_jll v1.9.2+0 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.12.2 [4536629a] OpenBLAS_jll v0.3.30+0 [458c3c95] OpenSSL_jll v3.5.5+0 [efcefdf7] PCRE2_jll v10.47.0+0 [bea87d4a] SuiteSparse_jll v7.10.1+0 [83775a58] Zlib_jll v1.3.1+2 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.68.0+1 [3f19e933] p7zip_jll v17.7.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}}}, 173::Type{Val{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}}}, 174::Type{Val{(:V, :E)}}) @ AlgebraicRewriting.CategoricalAlgebra.CSets ~/.julia/packages/CompTime/Ppb3B/src/CompTime.jl:137 [4] _dangling_condition @ ./none:-1 [inlined] [5] dangling_condition @ ~/.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#171::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] #pushout_complement_violations#149#35#45 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [10] (::AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#149#44"{AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#149#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] can_match @ ~/.julia/packages/AlgebraicRewriting/4tkrF/src/rewrite/Utils.jl:159 [inlined] [13] (::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 [14] (::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"#93#94"{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 [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:349 [16] 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 [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}}, 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 [18] kwcall(::@NamedTuple{random::Bool}, ::typeof(Catlab.CategoricalAlgebra.Pointwise.HomSearch.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 [19] 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 [20] backtracking_search @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:219 [inlined] [21] #homomorphisms#4 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:129 [inlined] [22] homomorphisms @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:121 [inlined] [23] kwcall(::@NamedTuple{cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, monic::Vector{Symbol}, filter::AlgebraicRewriting.Rewrite.Utils.var"#17#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, Rule{:DPO}}}, ::typeof(Catlab.CategoricalAlgebra.Pointwise.HomSearch.homomorphisms), X::Catlab.Graphs.BasicGraphs.Graph, Y::Catlab.Graphs.BasicGraphs.Graph) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:107 [24] 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 [25] get_matches(r::Rule{:DPO}, G::Catlab.Graphs.BasicGraphs.Graph) @ AlgebraicRewriting.Rewrite.Utils ~/.julia/packages/AlgebraicRewriting/4tkrF/src/rewrite/Utils.jl:208 [26] top-level scope @ ~/.julia/packages/AlgebraicRewriting/4tkrF/docs/literate/full_demo.jl:68 [27] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [28] top-level scope @ ~/.julia/packages/AlgebraicRewriting/4tkrF/test/runtests.jl:10 [29] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:310 [30] top-level scope @ none:6 [31] eval(m::Module, e::Any) @ Core ./boot.jl:489 [32] exec_options(opts::Base.JLOptions) @ Base ./client.jl:310 [33] _start() @ Base ./client.jl:585 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 83.19s 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:3138 [3] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:3003 [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] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:562 [6] 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 [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:161 [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [9] test @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [inlined] [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [11] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 [12] include(mod::Module, _path::String) @ Base ./Base.jl:309 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [14] _start() @ Base ./client.jl:585 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 566.45s: package tests unexpectedly errored