Package evaluation to test AlgebraicRewriting on Julia 1.14.0-DEV.2028 (45a2de3f7a*) started at 2026-04-12T21:52:07.435 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 16.39s ################################################################################ # Installation # Installing AlgebraicRewriting... Resolving package versions... Installed MacroTools ────────────────── v0.5.16 Installed OrderedCollections ────────── v1.8.1 Installed JuliaVariables ────────────── v0.2.4 Installed LightXML ──────────────────── v0.9.3 Installed CompTime ──────────────────── v0.1.2 Installed AlgebraicInterfaces ───────── v0.1.4 Installed Combinatorics ─────────────── v1.1.0 Installed DataStructures ────────────── v0.18.22 Installed NameResolution ────────────── v0.1.5 Installed GATlab ────────────────────── v0.2.2 Installed IteratorInterfaceExtensions ─ v1.0.0 Installed DataAPI ───────────────────── v1.16.0 Installed Statistics ────────────────── v1.11.1 Installed DataValueInterfaces ───────── v1.0.0 Installed Measures ──────────────────── v0.3.3 Installed Compat ────────────────────── v4.18.1 Installed Colors ────────────────────── v0.13.1 Installed StaticArraysCore ──────────── v1.4.4 Installed PrettyPrint ───────────────── v0.2.0 Installed StaticArrays ──────────────── v1.9.18 Installed PEG ───────────────────────── v1.0.4 Installed JSON3 ─────────────────────── v1.14.3 Installed ColorTypes ────────────────── v0.12.1 Installed PrecompileTools ───────────── v1.3.3 Installed StringManipulation ────────── v0.4.4 Installed Parsers ───────────────────── v2.8.3 Installed JSON ──────────────────────── v0.21.4 Installed Tables ────────────────────── v1.12.1 Installed Requires ──────────────────── v1.3.1 Installed XML2_jll ──────────────────── v2.15.1+0 Installed GeneralizedGenerated ──────── v0.3.3 Installed StructEquality ────────────── v2.1.0 Installed Reexport ──────────────────── v1.2.2 Installed AlgebraicRewriting ────────── v0.5.0 Installed PrettyTables ──────────────── v3.3.2 Installed FixedPointNumbers ─────────── v0.8.5 Installed JLLWrappers ───────────────── v1.7.1 Installed Libiconv_jll ──────────────── v1.18.0+0 Installed TableTraits ───────────────── v1.0.1 Installed LaTeXStrings ──────────────── v1.4.0 Installed Preferences ───────────────── v1.5.2 Installed Crayons ───────────────────── v4.1.1 Installed StructTypes ───────────────── v1.11.0 Installed IterTools ─────────────────── v1.10.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/06b4975543f7610843239418c9bc3357f34964c8" │ expected = SHA1("06b4975543f7610843239418c9bc3357f34964c8") │ computed = 20-element Vector{UInt8}: … └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:1180 Installed Permutations ──────────────── v0.4.23 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.27 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.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 11.21s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 5400.8 ms ✓ TestEnv 1 dependency successfully precompiled in 6 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... 4721.6 ms ✓ MacroTools 864.7 ms ✓ Reexport 1223.7 ms ✓ Statistics 954.4 ms ✓ DataAPI 1012.9 ms ✓ Measures 979.4 ms ✓ PrettyPrint 845.4 ms ✓ DataValueInterfaces 1062.3 ms ✓ StaticArraysCore 1463.7 ms ✓ OrderedCollections 28373.6 ms ✓ MLStyle 812.1 ms ✓ AlgebraicInterfaces 934.3 ms ✓ PEG 1252.7 ms ✓ IterTools 2337.5 ms ✓ Combinatorics 1836.4 ms ✓ Compiler 881.9 ms ✓ IteratorInterfaceExtensions 973.4 ms ✓ LaTeXStrings 2086.0 ms ✓ Crayons 1396.2 ms ✓ Requires 2148.5 ms ✓ StructTypes 3325.4 ms ✓ CodeTracking 1318.3 ms ✓ Compat 1812.1 ms ✓ Preferences 4367.0 ms ✓ FixedPointNumbers 1599.3 ms ✓ Statistics → SparseArraysExt 896.2 ms ✓ NameResolution 10916.2 ms ✓ CompTime 1239.3 ms ✓ Permutations 837.6 ms ✓ TableTraits 12888.1 ms ✓ JuliaInterpreter 916.6 ms ✓ Compat → CompatLinearAlgebraExt 1645.2 ms ✓ JLLWrappers 1318.3 ms ✓ PrecompileTools 3009.3 ms ✓ ColorTypes 12139.3 ms ✓ JuliaVariables 2038.4 ms ✓ Tables 21472.7 ms ✓ LoweredCodeUtils 793.3 ms ✓ StructEquality 3868.6 ms ✓ DataStructures 2412.6 ms ✓ Libiconv_jll 15298.9 ms ✓ StaticArrays 4297.8 ms ✓ StringManipulation 18414.1 ms ✓ Parsers 1402.5 ms ✓ ColorTypes → StyledStringsExt 8776.1 ms ✓ Colors 13838.1 ms ✓ Revise 12663.0 ms ✓ GeneralizedGenerated 2272.1 ms ✓ XML2_jll 1861.0 ms ✓ StaticArrays → StaticArraysStatisticsExt 30951.9 ms ✓ PrettyTables 16023.6 ms ✓ JSON3 4419.4 ms ✓ JSON 1510.4 ms ✓ LightXML 39329.2 ms ✓ ACSets 7723.1 ms ✓ Compose 80440.4 ms ✓ GATlab 218656.2 ms ✓ Catlab 72748.1 ms ✓ AlgebraicRewriting 58 dependencies successfully precompiled in 696 seconds. 35 already precompiled. Precompilation completed after 729.58s ################################################################################ # 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_s0Gubu/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_s0Gubu/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_s0Gubu/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_s0Gubu/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}}}, 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] 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#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] #pushout_complement_violations#150#35#45 @ ~/.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] 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:324 [28] top-level scope @ ~/.julia/packages/AlgebraicRewriting/4tkrF/test/runtests.jl:10 [29] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:324 [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.76s 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:3160 [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:323 [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 871.74s: package tests unexpectedly errored