Package evaluation to test AlgebraicRewriting on Julia 1.14.0-DEV.2043 (b936235316*) started at 2026-04-16T23:13:36.176 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 14.97s ################################################################################ # Installation # Installing AlgebraicRewriting... Resolving package versions... ┌ 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/06b4975543f7610843239418c9bc3357f34964c8" │ expected = SHA1("06b4975543f7610843239418c9bc3357f34964c8") │ computed = 20-element Vector{UInt8}: … └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:1180 Cloning [227ef7b5-1206-438b-ac65-934d6da304b8] ACSets from https://github.com/AlgebraicJulia/ACSets.jl.git Installed ACSets ─ v0.2.27 Updating `~/.julia/environments/v1.14/Project.toml` [725a01d3] + AlgebraicRewriting v0.5.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [227ef7b5] + ACSets v0.2.27 [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.3 [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.3.0+1 [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.30+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.68.1+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 7.21s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... ┌ 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... 39.0 s ✓ ACSets 80.4 s ✓ GATlab 216.6 s ✓ Catlab 73.8 s ✓ AlgebraicRewriting 4 dependencies successfully precompiled in 412 seconds. 89 already precompiled. Precompilation completed after 433.22s ################################################################################ # 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_69oh6p/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_69oh6p/Manifest.toml` ⌃ [227ef7b5] ↓ ACSets v0.2.27 ⇒ 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_69oh6p/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_69oh6p/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.3 [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.3.0+1 [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.30+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.68.1+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}}}, 175::Type{Val{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{}, Tuple{}, Tuple{}}}}, 176::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#173::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#151#35#45 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [10] (::AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#151#44"{AlgebraicRewriting.CategoricalAlgebra.Theories.var"##pushout_complement_violations#151#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"#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 [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:327 [28] top-level scope @ ~/.julia/packages/AlgebraicRewriting/4tkrF/test/runtests.jl:10 [29] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:327 [30] top-level scope @ none:6 [31] eval(m::Module, e::Any) @ Core ./boot.jl:517 [32] exec_options(opts::Base.JLOptions) @ Base ./client.jl:318 [33] _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.26s 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] test @ /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] 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:326 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:352 [14] _start() @ Base ./client.jl:593 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 577.06s: package tests unexpectedly errored