Package evaluation to test Catlab on Julia 1.10.10 (c8be17dcfd*) started at 2026-02-02T19:59:04.552 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.10` Set-up completed after 5.15s ################################################################################ # Installation # Installing Catlab... Resolving package versions... ┌ Warning: tarball content does not match git-tree-sha1 └ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.10/Pkg/src/Operations.jl:660 Cloning [227ef7b5-1206-438b-ac65-934d6da304b8] ACSets from https://github.com/AlgebraicJulia/ACSets.jl.git Installed ACSets ─ v0.2.26 Updating `~/.julia/environments/v1.10/Project.toml` [134e5e36] + Catlab v0.17.4 Updating `~/.julia/environments/v1.10/Manifest.toml` [227ef7b5] + ACSets v0.2.26 [23cfdc9f] + AlgebraicInterfaces v0.1.4 [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.2.1 [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 [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.1 [56f22d72] + Artifacts [2a0f44e3] + Base64 [ade2ca70] + Dates [f43a241f] + Downloads v1.6.0 [7b1f6079] + FileWatching [b77e0a4c] + InteractiveUtils [b27032c2] + LibCURL v0.6.4 [76f85450] + LibGit2 [8f399da3] + Libdl [37e2e46d] + LinearAlgebra [56ddb016] + Logging [d6f4376e] + Markdown [a63ad114] + Mmap [ca575930] + NetworkOptions v1.2.0 [44cfe95a] + Pkg v1.10.0 [de0858da] + Printf [3fa0cd96] + REPL [9a3f8284] + Random [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization [6462fe0b] + Sockets [2f01184e] + SparseArrays v1.10.0 [10745b16] + Statistics v1.10.0 [fa267f1f] + TOML v1.0.3 [a4e569a6] + Tar v1.10.0 [cf7118a7] + UUIDs [4ec0a83e] + Unicode [e66e0078] + CompilerSupportLibraries_jll v1.1.1+0 [deac9b47] + LibCURL_jll v8.4.0+0 [e37daf67] + LibGit2_jll v1.6.4+0 [29816b5a] + LibSSH2_jll v1.11.0+1 [c8ffd9c3] + MbedTLS_jll v2.28.1010+0 [14a3606d] + MozillaCACerts_jll v2025.12.2 [4536629a] + OpenBLAS_jll v0.3.23+5 [bea87d4a] + SuiteSparse_jll v7.2.1+1 [83775a58] + Zlib_jll v1.2.13+1 [8e850b90] + libblastrampoline_jll v5.11.0+0 [8e850ede] + nghttp2_jll v1.52.0+1 [3f19e933] + p7zip_jll v17.4.0+2 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 12.0s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling packages... 45033.4 ms ✓ ACSets 58562.8 ms ✓ ACSets → DataFramesACSetsExt 160590.7 ms ✓ Catlab 11561.9 ms ✓ Catlab → CatlabDataFramesExt 21998.0 ms ✓ Catlab → CatlabGraphsExt 52379.7 ms ✓ Catlab → CatlabMetaGraphsExt 6 dependencies successfully precompiled in 356 seconds. 78 already precompiled. Precompilation completed after 362.58s ################################################################################ # Testing # Testing Catlab Status `/tmp/jl_IQM4nj/Project.toml` [227ef7b5] ACSets v0.2.26 [23cfdc9f] AlgebraicInterfaces v0.1.4 [134e5e36] Catlab v0.17.4 [a81c6b42] Compose v0.9.6 [a93c6f00] DataFrames v1.8.1 ⌅ [864edb3b] DataStructures v0.18.22 [f0ffcf3b] GATlab v0.2.2 ⌃ [86223c79] Graphs v1.13.1 [42fd0dbc] IterativeSolvers v0.9.4 [0f8b85d8] JSON3 v1.14.3 [9c8b4983] LightXML v0.9.3 [d8e11817] MLStyle v0.4.17 ⌃ [626554b9] MetaGraphs v0.8.1 [90137ffa] StaticArrays v1.9.16 [bd369af6] Tables v1.12.1 [458c3c95] OpenSSL_jll v3.5.5+0 [37e2e46d] LinearAlgebra [9a3f8284] Random [2f01184e] SparseArrays v1.10.0 [8dfed614] Test Status `/tmp/jl_IQM4nj/Manifest.toml` [227ef7b5] ACSets v0.2.26 [23cfdc9f] AlgebraicInterfaces v0.1.4 [ec485272] ArnoldiMethod v0.4.0 [134e5e36] Catlab v0.17.4 [0b6fb165] ChunkCodecCore v1.0.1 [4c0bbee4] ChunkCodecLibZlib v1.0.0 [55437552] ChunkCodecLibZstd v1.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 [a81c6b42] Compose v0.9.6 [a8cc5b0e] Crayons v4.1.1 [9a962f9c] DataAPI v1.16.0 [a93c6f00] DataFrames v1.8.1 ⌅ [864edb3b] DataStructures v0.18.22 [e2d170a0] DataValueInterfaces v1.0.0 [5789e2e9] FileIO v1.18.0 [53c48c17] FixedPointNumbers v0.8.5 [f0ffcf3b] GATlab v0.2.2 [6b9d7cbe] GeneralizedGenerated v0.3.3 ⌃ [86223c79] Graphs v1.13.1 [076d061b] HashArrayMappedTries v0.2.0 [d25df0c9] Inflate v0.1.5 [842dd82b] InlineStrings v1.4.5 [41ab1584] InvertedIndices v1.3.1 [c8e1da08] IterTools v1.10.0 [42fd0dbc] IterativeSolvers v0.9.4 [82899510] IteratorInterfaceExtensions v1.0.0 [033835bb] JLD2 v0.6.3 [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 ⌃ [626554b9] MetaGraphs v0.8.1 [e1d29d7a] Missings v1.2.0 [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 [2dfb63ee] PooledArrays v1.4.3 ⌅ [aea7be01] PrecompileTools v1.2.1 [21216c6a] Preferences v1.5.1 [8162dcfd] PrettyPrint v0.2.0 ⌅ [08abe8d2] PrettyTables v2.4.0 [3cdcf5f2] RecipesBase v1.3.4 [189a3867] Reexport v1.2.2 [ae029012] Requires v1.3.1 [7e506255] ScopedValues v1.5.0 [91c51154] SentinelArrays v1.4.9 [699a6c99] SimpleTraits v0.9.5 [a2af1166] SortingAlgorithms v1.2.2 [90137ffa] StaticArrays v1.9.16 [1e83bf80] StaticArraysCore v1.4.4 [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 [458c3c95] OpenSSL_jll v3.5.5+0 [02c8fc9c] XML2_jll v2.15.1+0 [3161d3a3] Zstd_jll v1.5.7+1 [0dad84c5] ArgTools v1.1.1 [56f22d72] Artifacts [2a0f44e3] Base64 [ade2ca70] Dates [8ba89e20] Distributed [f43a241f] Downloads v1.6.0 [7b1f6079] FileWatching [9fa8497b] Future [b77e0a4c] InteractiveUtils [b27032c2] LibCURL v0.6.4 [76f85450] LibGit2 [8f399da3] Libdl [37e2e46d] LinearAlgebra [56ddb016] Logging [d6f4376e] Markdown [a63ad114] Mmap [ca575930] NetworkOptions v1.2.0 [44cfe95a] Pkg v1.10.0 [de0858da] Printf [3fa0cd96] REPL [9a3f8284] Random [ea8e919c] SHA v0.7.0 [9e88b42a] Serialization [1a1011a3] SharedArrays [6462fe0b] Sockets [2f01184e] SparseArrays v1.10.0 [10745b16] Statistics v1.10.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test [cf7118a7] UUIDs [4ec0a83e] Unicode [e66e0078] CompilerSupportLibraries_jll v1.1.1+0 [deac9b47] LibCURL_jll v8.4.0+0 [e37daf67] LibGit2_jll v1.6.4+0 [29816b5a] LibSSH2_jll v1.11.0+1 [c8ffd9c3] MbedTLS_jll v2.28.1010+0 [14a3606d] MozillaCACerts_jll v2025.12.2 [4536629a] OpenBLAS_jll v0.3.23+5 [bea87d4a] SuiteSparse_jll v7.2.1+1 [83775a58] Zlib_jll v1.2.13+1 [8e850b90] libblastrampoline_jll v5.11.0+0 [8e850ede] nghttp2_jll v1.52.0+1 [3f19e933] p7zip_jll v17.4.0+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. Testing Running tests... Test Summary: | Pass Total Time Theories | 275 275 56.5s Test Summary: | Pass Total Time Graphs | 211 211 1m32.3s WARNING: both ParserCore and Base export "collect"; uses of it in module Parsers must be qualified Test Summary: | Pass Total Time BasicSets | 158 158 31.8s Cats: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:5 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Catlab.Theories.FreeCategory.Ob{:generator}, Catlab.Theories.FreeCategory.Hom{:generator}, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.Theories.FreeCategory.Hom{:generator}})})(apex::Catlab.Theories.FreeCategory.Ob{:generator}, legs::StaticArraysCore.SVector{2, Catlab.Theories.FreeCategory.Hom{:generator}}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::StaticArraysCore.SVector{2, Catlab.Theories.FreeCategory.Hom{:generator}}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Ob, Hom, Foot, <:StaticArraysCore.StaticArray{Tuple{2}, Hom, 1}, <:StaticArraysCore.StaticArray{Tuple{2}, Foot, 1}} where {Ob, Hom, Foot})(::Catlab.Theories.FreeCategory.Hom{:generator}, ::Catlab.Theories.FreeCategory.Hom{:generator}) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:75 [7] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/cats/FreeDiagrams.jl:39 [8] include(mod::Module, _path::String) @ Base ./Base.jl:495 [9] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [10] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/cats/runtests.jl:11 [11] include(mod::Module, _path::String) @ Base ./Base.jl:495 [12] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [13] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:6 [inlined] [14] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [15] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:6 [16] include(fname::String) @ Base.MainInclude ./client.jl:487 [17] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [18] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [19] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [20] include(fname::String) @ Base.MainInclude ./client.jl:487 [21] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/cats/FreeDiagrams.jl:1 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/cats/runtests.jl:11 SetCats: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/setcats/skelfinsetcat/Limits.jl:12 Test threw exception Expression: (delete[𝒞])(FinSetInt(2)) |> collect == FinFunction([1, 1], 1) |> collect UndefVarError: `H` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction, Catlab.BasicSets.FinSetInts.FinSetInt, V, W} where {V<:(AbstractVector{<:Catlab.BasicSets.FinFunctions.FinFunction}), W<:(AbstractVector{<:Catlab.BasicSets.FinSetInts.FinSetInt})})(apx::Catlab.BasicSets.FinSetInts.FinSetInt, legvec::Vector{Catlab.BasicSets.FinFunctions.FinFunction}, feetvec::Vector{Catlab.BasicSets.FinSetInts.FinSetInt}) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:65 [2] delete(m::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}, x::Catlab.BasicSets.FinSetInts.FinSetInt; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:43 [3] delete @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:40 [inlined] [4] ##delete#287#222#228 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [5] (::Catlab.Theories.var"##delete#287#227"{Catlab.Theories.var"##delete#287#222#228"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}})(args::Catlab.BasicSets.FinSetInts.FinSetInt) @ Catlab.Theories ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [6] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [7] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/setcats/skelfinsetcat/Limits.jl:12 SetCats: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:9 Got exception outside of a @test LoadError: UndefVarError: `H` not defined Stacktrace: [1] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:65 [inlined] [2] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(apex::Catlab.BasicSets.FinSetInts.FinSetInt, legs::Vector{Catlab.BasicSets.FinFunctions.FinFunction}, feet::Vector{Catlab.BasicSets.FinSetInts.FinSetInt}) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:84 [3] #limit#3 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/setcats/skelfinsetcat/Limits.jl:38 [inlined] [4] limit(m#2074::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}, Xs::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Discrete.DiscreteDiagram{Catlab.BasicSets.FinSetInts.FinSetInt, Vector{Catlab.BasicSets.FinSetInts.FinSetInt}}; context::Nothing) @ Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.Limits ./none:0 [5] limit @ ./none:0 [inlined] [6] #product#81 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Products.jl:44 [inlined] [7] (::Catlab.Theories.var"##product#288#238"{Catlab.Theories.var"##product#288#233#239"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}})(::Catlab.BasicSets.FinSetInts.FinSetInt, ::Vararg{Catlab.BasicSets.FinSetInts.FinSetInt}; context::Nothing) @ Catlab.Theories ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [8] (::Catlab.Theories.var"##product#288#238"{Catlab.Theories.var"##product#288#233#239"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}})(::Catlab.BasicSets.FinSetInts.FinSetInt, ::Vararg{Catlab.BasicSets.FinSetInts.FinSetInt}) @ Catlab.Theories ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [9] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/setcats/skelfinsetcat/Limits.jl:17 [10] include(mod::Module, _path::String) @ Base ./Base.jl:495 [11] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [12] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/setcats/skelfinsetcat/runtests.jl:1 [13] include(mod::Module, _path::String) @ Base ./Base.jl:495 [14] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [15] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/setcats/runtests.jl:2 [16] include(mod::Module, _path::String) @ Base ./Base.jl:495 [17] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [18] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:10 [inlined] [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [20] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:10 [21] include(fname::String) @ Base.MainInclude ./client.jl:487 [22] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [23] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [24] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [25] include(fname::String) @ Base.MainInclude ./client.jl:487 [26] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/setcats/skelfinsetcat/Limits.jl:1 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/setcats/skelfinsetcat/runtests.jl:1 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/setcats/runtests.jl:2 ACSetTransformations: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/ACSetTransformations.jl:82 Test threw exception Expression: sum((h->begin #= /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/ACSetTransformations.jl:82 =# is_cartesian(h, hs) end), homoms) == 12 UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Catlab.BasicSets.FinSets.FinSet, Catlab.BasicSets.FinFunctions.FinFunction, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.BasicSets.FinFunctions.FinFunction})})(apex::Catlab.BasicSets.FinSets.FinSet, legs::StaticArraysCore.SVector{2, Catlab.BasicSets.FinFunctions.FinFunction}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::StaticArraysCore.SVector{2, Catlab.BasicSets.FinFunctions.FinFunction}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Ob, Hom, Foot, <:StaticArraysCore.StaticArray{Tuple{2}, Hom, 1}, <:StaticArraysCore.StaticArray{Tuple{2}, Foot, 1}} where {Ob, Hom, Foot})(::Catlab.BasicSets.FinFunctions.FinFunction, ::Catlab.BasicSets.FinFunctions.FinFunction) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:75 [7] is_cartesian_at(f::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:S, :T, :I, :O}, Tuple{(:is, :I, :S), (:it, :I, :T), (:os, :O, :S), (:ot, :O, :T)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{T::Catlab.BasicSets.FinFunctions.FinFunction, I::Catlab.BasicSets.FinFunctions.FinFunction, S::Catlab.BasicSets.FinFunctions.FinFunction, O::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestCSetTransformations.Petri, Main.TestCategoricalAlgebra.TestCSetTransformations.Petri}, h::Symbol; cat::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.CSets ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/csets/CSets.jl:307 [8] is_cartesian_at @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/csets/CSets.jl:302 [inlined] [9] #314 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/csets/CSets.jl:320 [inlined] [10] _all @ ./reduce.jl:1288 [inlined] [11] all @ ./reducedim.jl:1025 [inlined] [12] is_cartesian(f::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:S, :T, :I, :O}, Tuple{(:is, :I, :S), (:it, :I, :T), (:os, :O, :S), (:ot, :O, :T)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{T::Catlab.BasicSets.FinFunctions.FinFunction, I::Catlab.BasicSets.FinFunctions.FinFunction, S::Catlab.BasicSets.FinFunctions.FinFunction, O::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestCSetTransformations.Petri, Main.TestCategoricalAlgebra.TestCSetTransformations.Petri}, hs::Vector{Symbol}) @ Catlab.CategoricalAlgebra.Pointwise.CSets ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/csets/CSets.jl:319 [13] (::Main.TestCategoricalAlgebra.TestCSetTransformations.var"#7#8")(h::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:S, :T, :I, :O}, Tuple{(:is, :I, :S), (:it, :I, :T), (:os, :O, :S), (:ot, :O, :T)}, Tuple{}, Tuple{}, Tuple{}}, @NamedTuple{T::Catlab.BasicSets.FinFunctions.FinFunction, I::Catlab.BasicSets.FinFunctions.FinFunction, S::Catlab.BasicSets.FinFunctions.FinFunction, O::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestCSetTransformations.Petri, Main.TestCategoricalAlgebra.TestCSetTransformations.Petri}) @ Main.TestCategoricalAlgebra.TestCSetTransformations ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/ACSetTransformations.jl:82 [14] mapreduce_impl(f::Main.TestCategoricalAlgebra.TestCSetTransformations.var"#7#8", op::typeof(Base.add_sum), A::Vector{Any}, ifirst::Int64, ilast::Int64, blksize::Int64) @ Base ./reduce.jl:262 [15] mapreduce_impl @ ./reduce.jl:277 [inlined] [16] _mapreduce(f::Main.TestCategoricalAlgebra.TestCSetTransformations.var"#7#8", op::typeof(Base.add_sum), ::IndexLinear, A::Vector{Any}) @ Base ./reduce.jl:447 [17] _mapreduce_dim(f::Function, op::Function, ::Base._InitialValue, A::Vector{Any}, ::Colon) @ Base ./reducedim.jl:367 [18] mapreduce @ ./reducedim.jl:359 [inlined] [19] _sum @ ./reducedim.jl:1017 [inlined] [20] sum(f::Function, a::Vector{Any}) @ Base ./reducedim.jl:1013 [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/ACSetTransformations.jl:82 Limits: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:11 Got exception outside of a @test LoadError: UndefVarError: `H` not defined Stacktrace: [1] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:65 [inlined] [2] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(apex::Catlab.BasicSets.FinSetInts.FinSetInt, legs::Vector{Catlab.BasicSets.FinFunctions.FinFunction}, feet::Vector{Catlab.BasicSets.FinSetInts.FinSetInt}) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:84 [3] cone @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:56 [inlined] [4] legs(lim::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals.TerminalLimit{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Limits.jl:55 [5] map @ ./tuple.jl:292 [inlined] [6] map(::Function, ::@NamedTuple{V::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals.TerminalLimit{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction}, E::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals.TerminalLimit{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction}}) @ Base ./namedtuple.jl:265 [7] pointwise_limit(model::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, d::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Discrete.EmptyDiagram{ACSets.ACSetInterface.ACSet, StaticArraysCore.SVector{0, ACSets.ACSetInterface.ACSet}}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:120 [8] #limit#1 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:36 [inlined] [9] terminal(m::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:33 [10] terminal @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:33 [inlined] [11] ##terminal#285#200#206 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [12] (::Catlab.Theories.var"##terminal#285#205"{Catlab.Theories.var"##terminal#285#200#206"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})() @ Catlab.Theories ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [13] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Limits.jl:12 [14] include(mod::Module, _path::String) @ Base ./Base.jl:495 [15] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [16] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:12 [inlined] [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [18] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:12 [19] include(mod::Module, _path::String) @ Base ./Base.jl:495 [20] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [21] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [inlined] [22] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [23] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [24] include(mod::Module, _path::String) @ Base ./Base.jl:495 [25] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [26] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [27] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [28] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [29] include(fname::String) @ Base.MainInclude ./client.jl:487 [30] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [32] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [33] include(fname::String) @ Base.MainInclude ./client.jl:487 [34] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Limits.jl:1 Colimits: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Colimits.jl:74 Test threw exception Expression: ob(coeq) == ob((terminal[𝒞])()) UndefVarError: `H` not defined Stacktrace: [1] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:65 [inlined] [2] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(apex::Catlab.BasicSets.FinSetInts.FinSetInt, legs::Vector{Catlab.BasicSets.FinFunctions.FinFunction}, feet::Vector{Catlab.BasicSets.FinSetInts.FinSetInt}) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:84 [3] cone @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:56 [inlined] [4] legs(lim::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals.TerminalLimit{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Limits.jl:55 [5] map @ ./tuple.jl:292 [inlined] [6] map(::Function, ::@NamedTuple{V::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals.TerminalLimit{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction}, E::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals.TerminalLimit{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction}}) @ Base ./namedtuple.jl:265 [7] pointwise_limit(model::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, d::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Discrete.EmptyDiagram{ACSets.ACSetInterface.ACSet, StaticArraysCore.SVector{0, ACSets.ACSetInterface.ACSet}}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:120 [8] #limit#1 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:36 [inlined] [9] terminal(m::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:33 [10] terminal @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:33 [inlined] [11] ##terminal#285#200#206 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [12] (::Catlab.Theories.var"##terminal#285#205"{Catlab.Theories.var"##terminal#285#200#206"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})() @ Catlab.Theories ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [13] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [14] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Colimits.jl:74 Colimits: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:14 Got exception outside of a @test LoadError: UndefVarError: `H` not defined Stacktrace: [1] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:65 [inlined] [2] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(apex::Catlab.BasicSets.FinSetInts.FinSetInt, legs::Vector{Catlab.BasicSets.FinFunctions.FinFunction}, feet::Vector{Catlab.BasicSets.FinSetInts.FinSetInt}) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:84 [3] cone @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:56 [inlined] [4] legs(lim::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals.TerminalLimit{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Limits.jl:55 [5] map @ ./tuple.jl:292 [inlined] [6] map(::Function, ::@NamedTuple{V::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals.TerminalLimit{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction}, E::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals.TerminalLimit{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction}}) @ Base ./namedtuple.jl:265 [7] pointwise_limit(model::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, d::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Discrete.EmptyDiagram{ACSets.ACSetInterface.ACSet, StaticArraysCore.SVector{0, ACSets.ACSetInterface.ACSet}}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:120 [8] #limit#1 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:36 [inlined] [9] terminal(m::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:33 [10] terminal @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:33 [inlined] [11] ##terminal#285#200#206 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [12] (::Catlab.Theories.var"##terminal#285#205"{Catlab.Theories.var"##terminal#285#200#206"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})() @ Catlab.Theories ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [13] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Colimits.jl:83 [14] include(mod::Module, _path::String) @ Base ./Base.jl:495 [15] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [16] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:15 [inlined] [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [18] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:15 [19] include(mod::Module, _path::String) @ Base ./Base.jl:495 [20] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [21] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [inlined] [22] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [23] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [24] include(mod::Module, _path::String) @ Base ./Base.jl:495 [25] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [26] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [27] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [28] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [29] include(fname::String) @ Base.MainInclude ./client.jl:487 [30] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [32] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [33] include(fname::String) @ Base.MainInclude ./client.jl:487 [34] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Colimits.jl:1 HomSearch: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/HomSearch.jl:19 Test threw exception Expression: homomorphisms(g, h, alg = HomomorphismQuery()) == homs UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Catlab.BasicSets.Sets.SetOb, Catlab.BasicSets.SetFunctions.SetFunction, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.BasicSets.SetFunctions.SetFunction})})(apex::Catlab.BasicSets.Sets.SetOb, legs::Vector{Catlab.BasicSets.SetFunctions.SetFunction}; cat::Catlab.CategoricalAlgebra.SetCats.SetCat.SetC) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] (::Catlab.WiringDiagrams.WiringDiagramAlgebras.var"#11#14"{Catlab.Graphs.BasicGraphs.Graph, ACSets.Schemas.BasicSchema{Symbol}})(b::Int64, name::Symbol) @ Catlab.WiringDiagrams.WiringDiagramAlgebras ~/.julia/packages/Catlab/frut0/src/wiring_diagrams/Algebras.jl:184 [7] #4 @ ./generator.jl:36 [inlined] [8] iterate @ ./generator.jl:47 [inlined] [9] collect(itr::Base.Generator{Base.Iterators.Zip{Tuple{UnitRange{Int64}, Vector{Symbol}}}, Base.var"#4#5"{Catlab.WiringDiagrams.WiringDiagramAlgebras.var"#11#14"{Catlab.Graphs.BasicGraphs.Graph, ACSets.Schemas.BasicSchema{Symbol}}}}) @ Base ./array.jl:834 [10] map(::Function, ::UnitRange{Int64}, ::Vector{Symbol}) @ Base ./abstractarray.jl:3417 [11] query(X::Catlab.Graphs.BasicGraphs.Graph, diagram::Catlab.WiringDiagrams.WiringDiagramAlgebras.HomomorphismQueryDiagram{Symbol}, params::Vector{Pair}; table_type::Type) @ Catlab.WiringDiagrams.WiringDiagramAlgebras ~/.julia/packages/Catlab/frut0/src/wiring_diagrams/Algebras.jl:167 [12] query @ ~/.julia/packages/Catlab/frut0/src/wiring_diagrams/Algebras.jl:163 [inlined] [13] homomorphisms(X::Catlab.Graphs.BasicGraphs.Graph, Y::Catlab.Graphs.BasicGraphs.Graph, ::Catlab.CategoricalAlgebra.Pointwise.HomSearch.HomomorphismQuery) @ Catlab.WiringDiagrams.WiringDiagramAlgebras ~/.julia/packages/Catlab/frut0/src/wiring_diagrams/Algebras.jl:271 [14] #homomorphisms#3 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/HomSearch.jl:107 [inlined] [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [16] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/HomSearch.jl:19 MCO: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:20 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{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}, Foot, V} where {Foot, V<:(AbstractVector{<: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}})})(apex::Catlab.Graphs.BasicGraphs.Graph, legs::Vector{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::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::Vector{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}}) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [7] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIteratorState) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:242 [8] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIteratorState) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:237 [9] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:196 [10] iterate @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:188 [inlined] [11] _collect(cont::UnitRange{Int64}, itr::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, ::Base.HasEltype, isz::Base.SizeUnknown) @ Base ./array.jl:770 [12] collect(itr::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator) @ Base ./array.jl:759 [13] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/MCO.jl:18 [14] include(mod::Module, _path::String) @ Base ./Base.jl:495 [15] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [16] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:21 [inlined] [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [18] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:21 [19] include(mod::Module, _path::String) @ Base ./Base.jl:495 [20] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [21] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [inlined] [22] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [23] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [24] include(mod::Module, _path::String) @ Base ./Base.jl:495 [25] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [26] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [27] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [28] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [29] include(fname::String) @ Base.MainInclude ./client.jl:487 [30] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [32] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [33] include(fname::String) @ Base.MainInclude ./client.jl:487 [34] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/MCO.jl:1 Subobjects: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:29 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{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}, Foot, V} where {Foot, V<:(AbstractVector{<: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}})})(apex::Catlab.Graphs.BasicGraphs.Graph, legs::Vector{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) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [7] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [9] #pushout#65 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [10] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, ::Vararg{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [11] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, ::Vararg{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}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [12] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Subobjects.jl:51 [13] include(mod::Module, _path::String) @ Base ./Base.jl:495 [14] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [15] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:30 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:30 [18] include(mod::Module, _path::String) @ Base ./Base.jl:495 [19] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [20] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [23] include(mod::Module, _path::String) @ Base ./Base.jl:495 [24] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [25] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [27] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [28] include(fname::String) @ Base.MainInclude ./client.jl:487 [29] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [30] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [31] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [32] include(fname::String) @ Base.MainInclude ./client.jl:487 [33] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Subobjects.jl:1 Chase: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:30 Test threw exception Expression: is_isomorphic(codom(egd(etgd)), core) UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{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}, Foot, V} where {Foot, V<:(AbstractVector{<: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}})})(apex::Catlab.Graphs.BasicGraphs.Graph, legs::Vector{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) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [7] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [9] #pushout#65 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [10] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, ::Vararg{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [11] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, ::Vararg{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}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [12] image(f::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}, m::Catlab.CategoricalAlgebra.Cats.Categories.Category) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.EpiMono ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/EpiMono.jl:9 [13] egd(e::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::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:34 [14] egd(e::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}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:32 [15] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:30 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:30 Chase: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:31 Test threw exception Expression: collect((egd(etgd))[:V]) == [1, 2, 1] UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{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}, Foot, V} where {Foot, V<:(AbstractVector{<: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}})})(apex::Catlab.Graphs.BasicGraphs.Graph, legs::Vector{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) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [7] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [9] #pushout#65 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [10] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, ::Vararg{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [11] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, ::Vararg{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}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [12] image(f::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}, m::Catlab.CategoricalAlgebra.Cats.Categories.Category) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.EpiMono ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/EpiMono.jl:9 [13] egd(e::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::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:34 [14] egd(e::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}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:32 [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [16] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:31 Chase: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:33 Test threw exception Expression: is_isomorphic(dom(tgd(etgd)), core) UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.BasicSets.FinFunctions.FinFunction})})(apex::Catlab.BasicSets.FinSetInts.FinSetInt, legs::Vector{Catlab.BasicSets.FinFunctions.FinFunction}; cat::Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] pullback_hashjoin(cospan::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction, Catlab.BasicSets.FinSetInts.FinSetInt, Vector{Catlab.BasicSets.FinFunctions.FinFunction}, Vector{Catlab.BasicSets.FinSetInts.FinSetInt}}) @ Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/setcats/skelfinsetcat/Limits.jl:174 [7] #limit#21 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/setcats/skelfinsetcat/Limits.jl:135 [inlined] [8] limit(m#2082::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}, cospan::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction, Catlab.BasicSets.FinSetInts.FinSetInt, Vector{Catlab.BasicSets.FinFunctions.FinFunction}, Vector{Catlab.BasicSets.FinSetInts.FinSetInt}}; context::Nothing) @ Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.Limits ./none:0 [9] limit @ ./none:0 [inlined] [10] ##limit#1648#16#22 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [11] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons.var"##limit#1648#21"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons.var"##limit#1648#16#22"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}})(args::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction, Catlab.BasicSets.FinSetInts.FinSetInt, Vector{Catlab.BasicSets.FinFunctions.FinFunction}, Vector{Catlab.BasicSets.FinSetInts.FinSetInt}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [12] (::Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#17#20"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet})(::Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:114 [13] iterate @ ./generator.jl:47 [inlined] [14] _collect(c::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, itr::Base.Generator{Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#17#20"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}}, ::Base.EltypeUnknown, isz::Base.HasShape{1}) @ Base ./array.jl:854 [15] collect_similar(cont::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, itr::Base.Generator{Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#17#20"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}}) @ Base ./array.jl:763 [16] map(f::Function, A::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}) @ Base ./abstractarray.jl:3286 [17] pointwise_limit(model::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, d::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{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}, Catlab.Graphs.BasicGraphs.Graph, Vector{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}}, Vector{Catlab.Graphs.BasicGraphs.Graph}}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:113 [18] #limit#7 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:64 [inlined] [19] limit @ ./none:0 [inlined] [20] pullback(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pullbacks.jl:89 [21] pullback @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pullbacks.jl:89 [inlined] [22] #pullback#63 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pullbacks.jl:92 [inlined] [23] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks.var"##pullback#1712#60"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks.var"##pullback#1712#55#61"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, ::Vararg{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [24] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks.var"##pullback#1712#60"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks.var"##pullback#1712#55#61"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, ::Vararg{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}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [25] coimage(f::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}, m::Catlab.CategoricalAlgebra.Cats.Categories.Category) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.EpiMono ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/EpiMono.jl:13 [26] tgd(e::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::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:39 [27] tgd(e::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}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:37 [28] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:33 [inlined] [29] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [30] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:33 Chase: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:34 Test threw exception Expression: codom(tgd(etgd)) == codom(etgd) UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.BasicSets.FinFunctions.FinFunction})})(apex::Catlab.BasicSets.FinSetInts.FinSetInt, legs::Vector{Catlab.BasicSets.FinFunctions.FinFunction}; cat::Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] pullback_hashjoin(cospan::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction, Catlab.BasicSets.FinSetInts.FinSetInt, Vector{Catlab.BasicSets.FinFunctions.FinFunction}, Vector{Catlab.BasicSets.FinSetInts.FinSetInt}}) @ Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/setcats/skelfinsetcat/Limits.jl:174 [7] #limit#21 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/setcats/skelfinsetcat/Limits.jl:135 [inlined] [8] limit(m#2082::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}, cospan::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction, Catlab.BasicSets.FinSetInts.FinSetInt, Vector{Catlab.BasicSets.FinFunctions.FinFunction}, Vector{Catlab.BasicSets.FinSetInts.FinSetInt}}; context::Nothing) @ Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.Limits ./none:0 [9] limit @ ./none:0 [inlined] [10] ##limit#1648#16#22 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [11] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons.var"##limit#1648#21"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons.var"##limit#1648#16#22"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}})(args::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{Catlab.BasicSets.FinSetInts.FinSetInt, Catlab.BasicSets.FinFunctions.FinFunction, Catlab.BasicSets.FinSetInts.FinSetInt, Vector{Catlab.BasicSets.FinFunctions.FinFunction}, Vector{Catlab.BasicSets.FinSetInts.FinSetInt}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [12] (::Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#17#20"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet})(::Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:114 [13] iterate @ ./generator.jl:47 [inlined] [14] _collect(c::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, itr::Base.Generator{Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#17#20"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}}, ::Base.EltypeUnknown, isz::Base.HasShape{1}) @ Base ./array.jl:854 [15] collect_similar(cont::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, itr::Base.Generator{Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#17#20"{Catlab.CategoricalAlgebra.SetCats.SkelFinSetCat.SkelFinSet}}) @ Base ./array.jl:763 [16] map(f::Function, A::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}) @ Base ./abstractarray.jl:3286 [17] pointwise_limit(model::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, d::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{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}, Catlab.Graphs.BasicGraphs.Graph, Vector{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}}, Vector{Catlab.Graphs.BasicGraphs.Graph}}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:113 [18] #limit#7 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:64 [inlined] [19] limit @ ./none:0 [inlined] [20] pullback(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pullbacks.jl:89 [21] pullback @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pullbacks.jl:89 [inlined] [22] #pullback#63 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pullbacks.jl:92 [inlined] [23] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks.var"##pullback#1712#60"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks.var"##pullback#1712#55#61"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, ::Vararg{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [24] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks.var"##pullback#1712#60"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks.var"##pullback#1712#55#61"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, ::Vararg{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}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pullbacks ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [25] coimage(f::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}, m::Catlab.CategoricalAlgebra.Cats.Categories.Category) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.EpiMono ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/EpiMono.jl:13 [26] tgd(e::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::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:39 [27] tgd(e::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}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:37 [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [29] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:34 Chase: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:32 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Main.TestCategoricalAlgebra.TestChase.School, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:TA, :Student, :Faculty, :Person}, Tuple{(:t_s, :TA, :Student), (:t_f, :TA, :Faculty), (:s_p, :Student, :Person), (:f_p, :Faculty, :Person)}, Tuple{}, Tuple{}, Tuple{(nothing, :TA, :Person, ((:t_s, :s_p), (:t_f, :f_p)))}}, @NamedTuple{TA::Catlab.BasicSets.FinFunctions.FinFunction, Student::Catlab.BasicSets.FinFunctions.FinFunction, Person::Catlab.BasicSets.FinFunctions.FinFunction, Faculty::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestChase.School, Main.TestCategoricalAlgebra.TestChase.School}, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:TA, :Student, :Faculty, :Person}, Tuple{(:t_s, :TA, :Student), (:t_f, :TA, :Faculty), (:s_p, :Student, :Person), (:f_p, :Faculty, :Person)}, Tuple{}, Tuple{}, Tuple{(nothing, :TA, :Person, ((:t_s, :s_p), (:t_f, :f_p)))}}, @NamedTuple{TA::Catlab.BasicSets.FinFunctions.FinFunction, Student::Catlab.BasicSets.FinFunctions.FinFunction, Person::Catlab.BasicSets.FinFunctions.FinFunction, Faculty::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestChase.School, Main.TestCategoricalAlgebra.TestChase.School}})})(apex::Main.TestCategoricalAlgebra.TestChase.School, legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:TA, :Student, :Faculty, :Person}, Tuple{(:t_s, :TA, :Student), (:t_f, :TA, :Faculty), (:s_p, :Student, :Person), (:f_p, :Faculty, :Person)}, Tuple{}, Tuple{}, Tuple{(nothing, :TA, :Person, ((:t_s, :s_p), (:t_f, :f_p)))}}, @NamedTuple{TA::Catlab.BasicSets.FinFunctions.FinFunction, Student::Catlab.BasicSets.FinFunctions.FinFunction, Person::Catlab.BasicSets.FinFunctions.FinFunction, Faculty::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestChase.School, Main.TestCategoricalAlgebra.TestChase.School}}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [7] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Ob, Hom, Foot, <:StaticArraysCore.StaticArray{Tuple{2}, Hom, 1}, <:StaticArraysCore.StaticArray{Tuple{2}, Foot, 1}} where {Ob, Hom, Foot})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:TA, :Student, :Faculty, :Person}, Tuple{(:t_s, :TA, :Student), (:t_f, :TA, :Faculty), (:s_p, :Student, :Person), (:f_p, :Faculty, :Person)}, Tuple{}, Tuple{}, Tuple{(nothing, :TA, :Person, ((:t_s, :s_p), (:t_f, :f_p)))}}, @NamedTuple{TA::Catlab.BasicSets.FinFunctions.FinFunction, Student::Catlab.BasicSets.FinFunctions.FinFunction, Person::Catlab.BasicSets.FinFunctions.FinFunction, Faculty::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestChase.School, Main.TestCategoricalAlgebra.TestChase.School}, ::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:TA, :Student, :Faculty, :Person}, Tuple{(:t_s, :TA, :Student), (:t_f, :TA, :Faculty), (:s_p, :Student, :Person), (:f_p, :Faculty, :Person)}, Tuple{}, Tuple{}, Tuple{(nothing, :TA, :Person, ((:t_s, :s_p), (:t_f, :f_p)))}}, @NamedTuple{TA::Catlab.BasicSets.FinFunctions.FinFunction, Student::Catlab.BasicSets.FinFunctions.FinFunction, Person::Catlab.BasicSets.FinFunctions.FinFunction, Faculty::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestChase.School, Main.TestCategoricalAlgebra.TestChase.School}) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:75 [8] active_triggers(I::Main.TestCategoricalAlgebra.TestChase.School, Σ::Dict{Any, Any}; init::Nothing, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:326 [9] chase_step(cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, I::Main.TestCategoricalAlgebra.TestChase.School, Σegd::Dict{Any, Any}, Σtgd::Dict{Any, Any}; init::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:345 [10] chase_step(cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, I::Main.TestCategoricalAlgebra.TestChase.School, Σegd::Dict{Any, Any}, Σtgd::Dict{Any, Any}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:335 [11] chase(I::Main.TestCategoricalAlgebra.TestChase.School, Σ::Dict{Symbol, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:TA, :Student, :Faculty, :Person}, Tuple{(:t_s, :TA, :Student), (:t_f, :TA, :Faculty), (:s_p, :Student, :Person), (:f_p, :Faculty, :Person)}, Tuple{}, Tuple{}, Tuple{(nothing, :TA, :Person, ((:t_s, :s_p), (:t_f, :f_p)))}}, @NamedTuple{TA::Catlab.BasicSets.FinFunctions.FinFunction, Student::Catlab.BasicSets.FinFunctions.FinFunction, Person::Catlab.BasicSets.FinFunctions.FinFunction, Faculty::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestChase.School, Main.TestCategoricalAlgebra.TestChase.School}}, n::Int64; cat::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:299 [12] chase(I::Main.TestCategoricalAlgebra.TestChase.School, Σ::Dict{Symbol, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:TA, :Student, :Faculty, :Person}, Tuple{(:t_s, :TA, :Student), (:t_f, :TA, :Faculty), (:s_p, :Student, :Person), (:f_p, :Faculty, :Person)}, Tuple{}, Tuple{}, Tuple{(nothing, :TA, :Person, ((:t_s, :s_p), (:t_f, :f_p)))}}, @NamedTuple{TA::Catlab.BasicSets.FinFunctions.FinFunction, Student::Catlab.BasicSets.FinFunctions.FinFunction, Person::Catlab.BasicSets.FinFunctions.FinFunction, Faculty::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestChase.School, Main.TestCategoricalAlgebra.TestChase.School}}, n::Int64) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:293 [13] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:74 [14] include(mod::Module, _path::String) @ Base ./Base.jl:495 [15] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [16] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:33 [inlined] [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [18] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:33 [19] include(mod::Module, _path::String) @ Base ./Base.jl:495 [20] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [21] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [inlined] [22] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [23] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [24] include(mod::Module, _path::String) @ Base ./Base.jl:495 [25] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [26] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [27] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [28] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [29] include(fname::String) @ Base.MainInclude ./client.jl:487 [30] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [32] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [33] include(fname::String) @ Base.MainInclude ./client.jl:487 [34] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Chase.jl:1 FunctorialDataMigrations: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/FunctorialDataMigrations.jl:74 Test threw exception Expression: is_isomorphic(Σ(G), expected) UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation})})(apex::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [7] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [9] ##pushout#1812#57#63 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [10] ##pushout#1812#62 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [inlined] [11] equation_to_ed(S::GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, ACS::Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}, e1::Catlab.Theories.FreeSchema.Hom{:compose}, e2::Catlab.Theories.FreeSchema.Hom{:id}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:141 [12] equation_to_ed @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:129 [inlined] [13] (::Catlab.CategoricalAlgebra.Pointwise.Chase.var"#15#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}})(::Tuple{Int64, Pair{Catlab.Theories.FreeSchema.Hom{:compose}, Catlab.Theories.FreeSchema.Hom{:id}}}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ./none:0 [14] iterate @ ./generator.jl:47 [inlined] [15] collect(itr::Base.Generator{Base.Iterators.Enumerate{Vector{Pair}}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#15#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}}}) @ Base ./array.jl:834 [16] pres_to_eds(S::GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}; types::Dict{Symbol, Type}, name::String, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:85 [17] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::Catlab.Graphs.BasicGraphs.Graph; n::Int64, return_unit::Bool, cat::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:242 [18] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::Catlab.Graphs.BasicGraphs.Graph) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:213 [19] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/FunctorialDataMigrations.jl:74 [inlined] [20] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [21] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/FunctorialDataMigrations.jl:74 FunctorialDataMigrations: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:35 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation})})(apex::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [7] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [9] ##pushout#1812#57#63 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [10] ##pushout#1812#62 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [inlined] [11] equation_to_ed(S::GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, ACS::Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}, e1::Catlab.Theories.FreeSchema.Hom{:compose}, e2::Catlab.Theories.FreeSchema.Hom{:compose}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:141 [12] equation_to_ed @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:129 [inlined] [13] (::Catlab.CategoricalAlgebra.Pointwise.Chase.var"#15#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}})(::Tuple{Int64, Pair{Catlab.Theories.FreeSchema.Hom{:compose}, Catlab.Theories.FreeSchema.Hom{:compose}}}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ./none:0 [14] iterate @ ./generator.jl:47 [inlined] [15] collect(itr::Base.Generator{Base.Iterators.Enumerate{Vector{Pair}}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#15#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}}}) @ Base ./array.jl:834 [16] pres_to_eds(S::GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}; types::Dict{Symbol, Type}, name::String, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:85 [17] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::Catlab.Graphs.BipartiteGraphs.UndirectedBipartiteGraph; n::Int64, return_unit::Bool, cat::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:242 [18] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::Catlab.Graphs.BipartiteGraphs.UndirectedBipartiteGraph) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:213 [19] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/FunctorialDataMigrations.jl:97 [20] include(mod::Module, _path::String) @ Base ./Base.jl:495 [21] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [22] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:36 [inlined] [23] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [24] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:36 [25] include(mod::Module, _path::String) @ Base ./Base.jl:495 [26] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [27] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [29] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [30] include(mod::Module, _path::String) @ Base ./Base.jl:495 [31] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [32] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [33] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [34] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [35] include(fname::String) @ Base.MainInclude ./client.jl:487 [36] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [37] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [38] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [39] include(fname::String) @ Base.MainInclude ./client.jl:487 [40] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/FunctorialDataMigrations.jl:1 Yoneda: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Yoneda.jl:12 Test threw exception Expression: representable(Graph, :V) == yV UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation})})(apex::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Ob, Hom, Foot, <:StaticArraysCore.StaticArray{Tuple{2}, Hom, 1}, <:StaticArraysCore.StaticArray{Tuple{2}, Foot, 1}} where {Ob, Hom, Foot})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, ::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:75 [7] active_triggers(I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σ::Dict{Any, Any}; init::Nothing, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:326 [8] active_triggers @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:316 [inlined] [9] chase_step(cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σegd::Dict{Any, Any}, Σtgd::Dict{Any, Any}; init::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:337 [10] chase_step(cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σegd::Dict{Any, Any}, Σtgd::Dict{Any, Any}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:335 [11] chase(I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σ::Dict{Symbol, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}, n::Int64; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:299 [12] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::ACSets.DenseACSets.AnonACSet{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V}, Tuple{}, Tuple{}, Tuple{}, Tuple{}}, Tuple{}, @NamedTuple{V::ACSets.DenseACSets.IntParts}, @NamedTuple{}, ACSets.DenseACSets.IntParts}; n::Int64, return_unit::Bool, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:244 [13] representable(cons::Type{Catlab.Graphs.BasicGraphs.Graph}, obname::Symbol; return_unit_id::Bool) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.Yoneda ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:46 [14] representable(cons::Type, obname::Symbol) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.Yoneda ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:27 [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [16] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Yoneda.jl:12 Yoneda: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Yoneda.jl:13 Test threw exception Expression: is_isomorphic(representable(Graph, :E), yE) UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation})})(apex::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Ob, Hom, Foot, <:StaticArraysCore.StaticArray{Tuple{2}, Hom, 1}, <:StaticArraysCore.StaticArray{Tuple{2}, Foot, 1}} where {Ob, Hom, Foot})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, ::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:75 [7] active_triggers(I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σ::Dict{Any, Any}; init::Nothing, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:326 [8] active_triggers @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:316 [inlined] [9] chase_step(cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σegd::Dict{Any, Any}, Σtgd::Dict{Any, Any}; init::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:337 [10] chase_step(cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σegd::Dict{Any, Any}, Σtgd::Dict{Any, Any}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:335 [11] chase(I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σ::Dict{Symbol, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}, n::Int64; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:299 [12] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::ACSets.DenseACSets.AnonACSet{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:E}, Tuple{}, Tuple{}, Tuple{}, Tuple{}}, Tuple{}, @NamedTuple{E::ACSets.DenseACSets.IntParts}, @NamedTuple{}, ACSets.DenseACSets.IntParts}; n::Int64, return_unit::Bool, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:244 [13] representable(cons::Type{Catlab.Graphs.BasicGraphs.Graph}, obname::Symbol; return_unit_id::Bool) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.Yoneda ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:46 [14] representable(cons::Type, obname::Symbol) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.Yoneda ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:27 [15] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Yoneda.jl:13 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Yoneda.jl:13 Yoneda: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:38 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation})})(apex::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Ob, Hom, Foot, <:StaticArraysCore.StaticArray{Tuple{2}, Hom, 1}, <:StaticArraysCore.StaticArray{Tuple{2}, Foot, 1}} where {Ob, Hom, Foot})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, ::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:75 [7] active_triggers(I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σ::Dict{Any, Any}; init::Nothing, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:326 [8] active_triggers @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:316 [inlined] [9] chase_step(cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σegd::Dict{Any, Any}, Σtgd::Dict{Any, Any}; init::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:337 [10] chase_step(cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σegd::Dict{Any, Any}, Σtgd::Dict{Any, Any}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:335 [11] chase(I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σ::Dict{Symbol, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}, n::Int64; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:299 [12] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::ACSets.DenseACSets.AnonACSet{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V}, Tuple{}, Tuple{}, Tuple{}, Tuple{}}, Tuple{}, @NamedTuple{V::ACSets.DenseACSets.IntParts}, @NamedTuple{}, ACSets.DenseACSets.IntParts}; n::Int64, return_unit::Bool, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:244 [13] representable(cons::Type{Catlab.Graphs.BasicGraphs.Graph}, obname::Symbol; return_unit_id::Bool) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.Yoneda ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:41 [14] representable @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:27 [inlined] [15] yoneda(cons::Type{Catlab.Graphs.BasicGraphs.Graph}; cache::Dict{Symbol, Any}) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.Yoneda ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:150 [16] yoneda(cons::Type) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.Yoneda ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:144 [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Yoneda.jl:15 [18] include(mod::Module, _path::String) @ Base ./Base.jl:495 [19] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [20] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:39 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:39 [23] include(mod::Module, _path::String) @ Base ./Base.jl:495 [24] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [25] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [27] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [28] include(mod::Module, _path::String) @ Base ./Base.jl:495 [29] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [30] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [32] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [33] include(fname::String) @ Base.MainInclude ./client.jl:487 [34] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [35] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [36] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [37] include(fname::String) @ Base.MainInclude ./client.jl:487 [38] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/Yoneda.jl:1 StructuredCospans: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:44 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{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}, Foot, V} where {Foot, V<:(AbstractVector{<: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}})})(apex::Catlab.Graphs.BasicGraphs.Graph, legs::Vector{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) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [7] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{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) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [9] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [10] #7 @ ~/.julia/packages/GATlab/X6I1A/src/models/ModelInterface.jl:565 [inlined] [11] compose(M::Catlab.CategoricalAlgebra.Pointwise.StructuredCospans.StructuredCospan{Catlab.CategoricalAlgebra.Pointwise.StructuredCospans.FinSetDiscreteACSet{:V, Catlab.Graphs.BasicGraphs.Graph}, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{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}, 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}}, StaticArraysCore.SVector{2, Catlab.Graphs.BasicGraphs.Graph}}, StaticArraysCore.SVector{2, Catlab.BasicSets.FinSets.FinSet}}, N::Catlab.CategoricalAlgebra.Pointwise.StructuredCospans.StructuredCospan{Catlab.CategoricalAlgebra.Pointwise.StructuredCospans.FinSetDiscreteACSet{:V, Catlab.Graphs.BasicGraphs.Graph}, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{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}, 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}}, StaticArraysCore.SVector{2, Catlab.Graphs.BasicGraphs.Graph}}, StaticArraysCore.SVector{2, Catlab.BasicSets.FinSets.FinSet}}) @ Catlab.CategoricalAlgebra.Pointwise.StructuredCospans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/StructuredCospans.jl:145 [12] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/StructuredCospans.jl:38 [13] include(mod::Module, _path::String) @ Base ./Base.jl:495 [14] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [15] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:45 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/runtests.jl:45 [18] include(mod::Module, _path::String) @ Base ./Base.jl:495 [19] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [20] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:5 [23] include(mod::Module, _path::String) @ Base ./Base.jl:495 [24] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [25] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [27] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [28] include(fname::String) @ Base.MainInclude ./client.jl:487 [29] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [30] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [31] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [32] include(fname::String) @ Base.MainInclude ./client.jl:487 [33] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/csetcats/StructuredCospans.jl:1 Colimits: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/runtests.jl:11 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Nothing, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}}, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Nothing, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}}})})(apex::Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Nothing, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}}}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [7] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Nothing, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}}}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [9] #pushout#65 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [10] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Nothing, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}}, ::Vararg{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Nothing, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}}}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [11] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Nothing, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}}, ::Vararg{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Nothing, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestACSetCatColimits.VELabeledGraph{Symbol}}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [12] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/Colimits.jl:56 [13] include(mod::Module, _path::String) @ Base ./Base.jl:495 [14] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [15] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/runtests.jl:12 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/runtests.jl:12 [18] include(mod::Module, _path::String) @ Base ./Base.jl:495 [19] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [20] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:9 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:9 [23] include(mod::Module, _path::String) @ Base ./Base.jl:495 [24] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [25] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [27] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [28] include(fname::String) @ Base.MainInclude ./client.jl:487 [29] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [30] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [31] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [32] include(fname::String) @ Base.MainInclude ./client.jl:487 [33] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/Colimits.jl:1 Dynamic: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/runtests.jl:23 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation})})(apex::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Ob, Hom, Foot, <:StaticArraysCore.StaticArray{Tuple{2}, Hom, 1}, <:StaticArraysCore.StaticArray{Tuple{2}, Foot, 1}} where {Ob, Hom, Foot})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, ::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:75 [7] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/Dynamic.jl:18 [8] include(mod::Module, _path::String) @ Base ./Base.jl:495 [9] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [10] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/runtests.jl:24 [inlined] [11] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [12] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/runtests.jl:24 [13] include(mod::Module, _path::String) @ Base ./Base.jl:495 [14] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [15] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:9 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:9 [18] include(mod::Module, _path::String) @ Base ./Base.jl:495 [19] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [20] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [23] include(fname::String) @ Base.MainInclude ./client.jl:487 [24] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [25] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [26] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [27] include(fname::String) @ Base.MainInclude ./client.jl:487 [28] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/Dynamic.jl:1 Dynamic: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/runtests.jl:27 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Weight}, Tuple{(:weight, :E, :Weight)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction, Weight::Nothing}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Weight}, Tuple{(:weight, :E, :Weight)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction, Weight::Nothing}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}})})(apex::Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Weight}, Tuple{(:weight, :E, :Weight)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction, Weight::Nothing}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [7] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Weight}, Tuple{(:weight, :E, :Weight)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction, Weight::Nothing}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [9] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [10] #7 @ ~/.julia/packages/GATlab/X6I1A/src/models/ModelInterface.jl:565 [inlined] [11] compose(M::Catlab.CategoricalAlgebra.Pointwise.StructuredCospans.StructuredCospan{Catlab.CategoricalAlgebra.Pointwise.StructuredCospans.FinSetDiscreteACSet{:V, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Weight}, Tuple{(:weight, :E, :Weight)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction, Weight::Nothing}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Weight}, Tuple{(:weight, :E, :Weight)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction, Weight::Nothing}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}}, StaticArraysCore.SVector{2, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}}, StaticArraysCore.SVector{2, Catlab.BasicSets.FinSets.FinSet}}, N::Catlab.CategoricalAlgebra.Pointwise.StructuredCospans.StructuredCospan{Catlab.CategoricalAlgebra.Pointwise.StructuredCospans.FinSetDiscreteACSet{:V, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multicospan{Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Weight}, Tuple{(:weight, :E, :Weight)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction, Weight::Nothing}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Weight}, Tuple{(:weight, :E, :Weight)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, E::Catlab.BasicSets.FinFunctions.FinFunction, Weight::Nothing}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}}, StaticArraysCore.SVector{2, Catlab.Graphs.BasicGraphs.WeightedGraph{Float64}}}, StaticArraysCore.SVector{2, Catlab.BasicSets.FinSets.FinSet}}) @ Catlab.CategoricalAlgebra.Pointwise.StructuredCospans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/StructuredCospans.jl:145 [12] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/StructuredCospans.jl:22 [13] include(mod::Module, _path::String) @ Base ./Base.jl:495 [14] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [15] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/runtests.jl:28 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/runtests.jl:28 [18] include(mod::Module, _path::String) @ Base ./Base.jl:495 [19] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [20] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:9 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:9 [23] include(mod::Module, _path::String) @ Base ./Base.jl:495 [24] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [25] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [27] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [28] include(fname::String) @ Base.MainInclude ./client.jl:487 [29] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [30] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [31] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [32] include(fname::String) @ Base.MainInclude ./client.jl:487 [33] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/acsetcats/StructuredCospans.jl:1 Colimits: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:7 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}}, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}}})})(apex::Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}}}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [7] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}}}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [9] #pushout#65 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [10] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}}, ::Vararg{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}}}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [11] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}}, ::Vararg{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestVarACSetColimits.VELabeledGraph{Symbol}}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [12] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/Colimits.jl:121 [13] include(mod::Module, _path::String) @ Base ./Base.jl:495 [14] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [15] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:8 [inlined] [16] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:8 [18] include(mod::Module, _path::String) @ Base ./Base.jl:495 [19] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [20] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:13 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:13 [23] include(mod::Module, _path::String) @ Base ./Base.jl:495 [24] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [25] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [27] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [28] include(fname::String) @ Base.MainInclude ./client.jl:487 [29] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [30] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [31] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [32] include(fname::String) @ Base.MainInclude ./client.jl:487 [33] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/Colimits.jl:1 DataMigrations: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/DataMigrations.jl:31 Test threw exception Expression: is_isomorphic(Σ(G; cat), expected) UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation})})(apex::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [7] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [9] ##pushout#1812#57#63 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [10] ##pushout#1812#62 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [inlined] [11] equation_to_ed(S::GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, ACS::Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}, e1::Catlab.Theories.FreeSchema.Attr{:compose}, e2::Catlab.Theories.FreeSchema.Attr{:compose}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:141 [12] equation_to_ed @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:129 [inlined] [13] (::Catlab.CategoricalAlgebra.Pointwise.Chase.var"#15#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}})(::Tuple{Int64, Pair{Catlab.Theories.FreeSchema.Attr{:compose}, Catlab.Theories.FreeSchema.Attr{:compose}}}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ./none:0 [14] iterate @ ./generator.jl:47 [inlined] [15] collect(itr::Base.Generator{Base.Iterators.Enumerate{Vector{Pair}}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#15#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}}}) @ Base ./array.jl:834 [16] pres_to_eds(S::GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}; types::Dict{Symbol, Type}, name::String, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:85 [17] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::Catlab.Graphs.BasicGraphs.Graph; n::Int64, return_unit::Bool, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:242 [18] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/DataMigrations.jl:31 [inlined] [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [20] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/DataMigrations.jl:31 DataMigrations: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/DataMigrations.jl:39 Test threw exception Expression: is_isomorphic(ΣF(Y; cat), Y) UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation})})(apex::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [7] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [9] ##pushout#1812#57#63 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [10] ##pushout#1812#62 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [inlined] [11] equation_to_ed(S::GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, ACS::Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}, e1::Catlab.Theories.FreeSchema.Hom{:compose}, e2::Catlab.Theories.FreeSchema.Hom{:compose}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:141 [12] equation_to_ed @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:129 [inlined] [13] (::Catlab.CategoricalAlgebra.Pointwise.Chase.var"#15#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}})(::Tuple{Int64, Pair{Catlab.Theories.FreeSchema.Hom{:compose}, Catlab.Theories.FreeSchema.Hom{:compose}}}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ./none:0 [14] iterate @ ./generator.jl:47 [inlined] [15] collect(itr::Base.Generator{Base.Iterators.Enumerate{Vector{Pair}}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#15#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}}}) @ Base ./array.jl:834 [16] pres_to_eds(S::GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}; types::Dict{Symbol, Type}, name::String, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:85 [17] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::Catlab.Graphs.BasicGraphs.WeightedGraph{Symbol}; n::Int64, return_unit::Bool, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:242 [18] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/DataMigrations.jl:39 [inlined] [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [20] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/DataMigrations.jl:39 DataMigrations: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:15 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation})})(apex::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [7] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [9] ##pushout#1812#57#63 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [10] ##pushout#1812#62 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [inlined] [11] equation_to_ed(S::GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, ACS::Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}, e1::Catlab.Theories.FreeSchema.Hom{:compose}, e2::Catlab.Theories.FreeSchema.Hom{:compose}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:141 [12] equation_to_ed @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:129 [inlined] [13] (::Catlab.CategoricalAlgebra.Pointwise.Chase.var"#15#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}})(::Tuple{Int64, Pair{Catlab.Theories.FreeSchema.Hom{:compose}, Catlab.Theories.FreeSchema.Hom{:compose}}}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ./none:0 [14] iterate @ ./generator.jl:47 [inlined] [15] collect(itr::Base.Generator{Base.Iterators.Enumerate{Vector{Pair}}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#15#18"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}, Catlab.CategoricalAlgebra.Pointwise.Chase.var"#30#34"{Dict{Symbol, Type}, String, GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}}}}) @ Base ./array.jl:834 [16] pres_to_eds(S::GATlab.Models.Presentations.Presentation{Catlab.Theories.ThSchema.Meta.T, Symbol}; types::Dict{Symbol, Type}, name::String, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:85 [17] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::Main.TestCategoricalAlgebra.TestVarDataMigrations.Thing1WithProp{Bool, String}; n::Int64, return_unit::Bool, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:242 [18] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/DataMigrations.jl:98 [19] include(mod::Module, _path::String) @ Base ./Base.jl:495 [20] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [21] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:16 [inlined] [22] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [23] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:16 [24] include(mod::Module, _path::String) @ Base ./Base.jl:495 [25] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [26] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:13 [inlined] [27] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [28] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:13 [29] include(mod::Module, _path::String) @ Base ./Base.jl:495 [30] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [31] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [32] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [33] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [34] include(fname::String) @ Base.MainInclude ./client.jl:487 [35] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [36] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [37] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [38] include(fname::String) @ Base.MainInclude ./client.jl:487 [39] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/DataMigrations.jl:1 MCO: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/MCO.jl:47 Test threw exception Expression: count((apx->begin #= /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/MCO.jl:47 =# nparts(apx, :E) == 2 end), apex.(os)) == 1 UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:VL, :EL}, Tuple{(:vlabel, :V, :VL), (:elabel, :E, :EL)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, EL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction, VL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}}, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:VL, :EL}, Tuple{(:vlabel, :V, :VL), (:elabel, :E, :EL)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, EL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction, VL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}}})})(apex::Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:VL, :EL}, Tuple{(:vlabel, :V, :VL), (:elabel, :E, :EL)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, EL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction, VL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}}}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:VL, :EL}, Tuple{(:vlabel, :V, :VL), (:elabel, :E, :EL)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, EL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction, VL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}}}) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [7] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIteratorState) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:242 [8] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIteratorState) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:237 [9] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:196 [10] iterate @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:188 [inlined] [11] _collect(cont::UnitRange{Int64}, itr::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, ::Base.HasEltype, isz::Base.SizeUnknown) @ Base ./array.jl:770 [12] collect @ ./array.jl:759 [inlined] [13] broadcastable @ ./broadcast.jl:743 [inlined] [14] broadcasted(::typeof(Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.apex), ::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator) @ Base.Broadcast ./broadcast.jl:1339 [15] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [16] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/MCO.jl:47 MCO: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:23 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:VL, :EL}, Tuple{(:vlabel, :V, :VL), (:elabel, :E, :EL)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, EL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction, VL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}}, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:VL, :EL}, Tuple{(:vlabel, :V, :VL), (:elabel, :E, :EL)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, EL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction, VL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}}})})(apex::Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:VL, :EL}, Tuple{(:vlabel, :V, :VL), (:elabel, :E, :EL)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, EL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction, VL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}}}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:VL, :EL}, Tuple{(:vlabel, :V, :VL), (:elabel, :E, :EL)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, EL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction, VL::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Bool, Int64, Int64}}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}, Main.TestCategoricalAlgebra.TestVarACSetMCO.VELabeledGraph{Bool, Bool}}}) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [7] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIteratorState) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:242 [8] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIteratorState) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:237 [9] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIteratorState) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:196 [10] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIteratorState) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:237 [11] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIteratorState) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:196 [12] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIteratorState) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:237 [13] iterate(Sub::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, state::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:196 [14] iterate @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/homsearch/MCO.jl:188 [inlined] [15] _collect(cont::UnitRange{Int64}, itr::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator, ::Base.HasEltype, isz::Base.SizeUnknown) @ Base ./array.jl:770 [16] collect(itr::Catlab.CategoricalAlgebra.Pointwise.HomSearch.MCO.OverlapIterator) @ Base ./array.jl:759 [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/MCO.jl:48 [18] include(mod::Module, _path::String) @ Base ./Base.jl:495 [19] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [20] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:24 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:24 [23] include(mod::Module, _path::String) @ Base ./Base.jl:495 [24] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [25] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:13 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [27] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:13 [28] include(mod::Module, _path::String) @ Base ./Base.jl:495 [29] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [30] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [32] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [33] include(fname::String) @ Base.MainInclude ./client.jl:487 [34] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [35] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [36] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [37] include(fname::String) @ Base.MainInclude ./client.jl:487 [38] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/MCO.jl:1 Yoneda: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:27 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation})})(apex::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:95 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan(legs::StaticArraysCore.SVector{2, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}; cat::Nothing) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [5] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [6] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Ob, Hom, Foot, <:StaticArraysCore.StaticArray{Tuple{2}, Hom, 1}, <:StaticArraysCore.StaticArray{Tuple{2}, Foot, 1}} where {Ob, Hom, Foot})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation, ::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:75 [7] active_triggers(I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σ::Dict{Any, Any}; init::Nothing, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:326 [8] active_triggers @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:316 [inlined] [9] chase_step(cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σegd::Dict{Any, Any}, Σtgd::Dict{Any, Any}; init::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:337 [10] chase_step(cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σegd::Dict{Any, Any}, Σtgd::Dict{Any, Any}) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:335 [11] chase(I::ACSets.DenseACSets.DynamicACSet{ACSets.DenseACSets.IntParts}, Σ::Dict{Symbol, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.DynamicACSetTransformation}, n::Int64; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.Chase ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/Chase.jl:299 [12] (::Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.SigmaMigrationFunctor)(d::ACSets.DenseACSets.AnonACSet{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V}, Tuple{}, Tuple{}, Tuple{}, Tuple{}}, Tuple{}, @NamedTuple{V::ACSets.DenseACSets.IntParts}, @NamedTuple{}, ACSets.DenseACSets.IntParts}; n::Int64, return_unit::Bool, cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/FunctorialDataMigrations.jl:244 [13] representable(cons::Type{Catlab.Graphs.BasicGraphs.WeightedGraph{Main.TestCategoricalAlgebra.TestYonedaVarACSet.MyStruct}}, obname::Symbol; return_unit_id::Bool) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.Yoneda ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:41 [14] representable @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:27 [inlined] [15] yoneda(cons::Type{Catlab.Graphs.BasicGraphs.WeightedGraph{Main.TestCategoricalAlgebra.TestYonedaVarACSet.MyStruct}}; cache::Dict{Symbol, Any}) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.Yoneda ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:150 [16] yoneda(cons::Type) @ Catlab.CategoricalAlgebra.Pointwise.FunctorialDataMigrations.Yoneda ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/datamigrations/Yoneda.jl:144 [17] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/Yoneda.jl:10 [18] include(mod::Module, _path::String) @ Base ./Base.jl:495 [19] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [20] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:28 [inlined] [21] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/runtests.jl:28 [23] include(mod::Module, _path::String) @ Base ./Base.jl:495 [24] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [25] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:13 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [27] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:13 [28] include(mod::Module, _path::String) @ Base ./Base.jl:495 [29] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [30] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [32] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [33] include(fname::String) @ Base.MainInclude ./client.jl:487 [34] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [35] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [36] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [37] include(fname::String) @ Base.MainInclude ./client.jl:487 [38] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/varacsetcats/Yoneda.jl:1 MADCats: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:20 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Main.TestCategoricalAlgebra.TestMADColimits.MGraph, 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}, Main.TestCategoricalAlgebra.TestMADColimits.MGraph, Main.TestCategoricalAlgebra.TestMADColimits.MGraph}, Foot, V} where {Foot, V<:(AbstractVector{<: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}, Main.TestCategoricalAlgebra.TestMADColimits.MGraph, Main.TestCategoricalAlgebra.TestMADColimits.MGraph}})})(apex::Main.TestCategoricalAlgebra.TestMADColimits.MGraph, legs::Vector{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}, Main.TestCategoricalAlgebra.TestMADColimits.MGraph, Main.TestCategoricalAlgebra.TestMADColimits.MGraph}}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [7] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{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}, Main.TestCategoricalAlgebra.TestMADColimits.MGraph, Main.TestCategoricalAlgebra.TestMADColimits.MGraph}}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [9] #pushout#65 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [10] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, Main.TestCategoricalAlgebra.TestMADColimits.MGraph, Main.TestCategoricalAlgebra.TestMADColimits.MGraph}, ::Vararg{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}, Main.TestCategoricalAlgebra.TestMADColimits.MGraph, Main.TestCategoricalAlgebra.TestMADColimits.MGraph}}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [11] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::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}, Main.TestCategoricalAlgebra.TestMADColimits.MGraph, Main.TestCategoricalAlgebra.TestMADColimits.MGraph}, ::Vararg{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}, Main.TestCategoricalAlgebra.TestMADColimits.MGraph, Main.TestCategoricalAlgebra.TestMADColimits.MGraph}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [12] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/madcats/Colimits.jl:15 [13] include(mod::Module, _path::String) @ Base ./Base.jl:495 [14] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [15] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/madcats/runtests.jl:2 [16] include(mod::Module, _path::String) @ Base ./Base.jl:495 [17] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [18] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:21 [inlined] [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [20] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:21 [21] include(mod::Module, _path::String) @ Base ./Base.jl:495 [22] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [23] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [24] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [25] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [26] include(fname::String) @ Base.MainInclude ./client.jl:487 [27] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [29] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [30] include(fname::String) @ Base.MainInclude ./client.jl:487 [31] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/madcats/Colimits.jl:1 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/madcats/runtests.jl:2 MADVarACSetCats: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:24 Got exception outside of a @test LoadError: UndefVarError: `Hom` not defined Stacktrace: [1] (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}, Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}}, Foot, V} where {Foot, V<:(AbstractVector{<:Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}}})})(apex::Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}, legs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}}}; cat::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory) @ Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:99 [2] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:93 [inlined] [3] #Multispan#9 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:125 [inlined] [4] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:124 [inlined] [5] #Multispan#8 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:106 [inlined] [6] Multispan @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/freediagrams/Multispans.jl:103 [inlined] [7] pushout(C::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, fs::Vector{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}}}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [8] pushout @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:66 [inlined] [9] #pushout#65 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Pushouts.jl:69 [inlined] [10] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}}, ::Vararg{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}}}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [11] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#62"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts.var"##pushout#1812#57#63"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(::Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}}, ::Vararg{Catlab.CategoricalAlgebra.Pointwise.ACSetTransformations.StructACSetTransformation{ACSets.Schemas.TypeLevelBasicSchema{Symbol, Tuple{:V, :E}, Tuple{(:src, :E, :V), (:tgt, :E, :V)}, Tuple{:Label}, Tuple{(:vlabel, :V, :Label), (:elabel, :E, :Label)}, Tuple{}}, @NamedTuple{V::Catlab.BasicSets.FinFunctions.FinFunction, Label::Catlab.BasicSets.CopairedFinDomFunctions.CopairedFinDomFunction{Symbol, Int64, Int64}, E::Catlab.BasicSets.FinFunctions.FinFunction}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}, Main.TestCategoricalAlgebra.TestMADVarACSetColimits.VELabeledGraph{Symbol}}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Pushouts ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [12] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/madvaracsetcats/Colimits.jl:137 [13] include(mod::Module, _path::String) @ Base ./Base.jl:495 [14] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [15] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/madvaracsetcats/runtests.jl:3 [16] include(mod::Module, _path::String) @ Base ./Base.jl:495 [17] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [18] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:25 [inlined] [19] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [20] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:25 [21] include(mod::Module, _path::String) @ Base ./Base.jl:495 [22] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [23] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [24] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [25] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [26] include(fname::String) @ Base.MainInclude ./client.jl:487 [27] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [28] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [29] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [30] include(fname::String) @ Base.MainInclude ./client.jl:487 [31] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/madvaracsetcats/Colimits.jl:1 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/madvaracsetcats/runtests.jl:3 LooseACSetCats: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/looseacsetcats/Limits.jl:16 Test threw exception Expression: ob((terminal[cat])()) == term MethodError: no method matching (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Type, Catlab.BasicSets.SetFunctions.SetFunction, Type, V, W} where {V<:(AbstractVector{<:Catlab.BasicSets.SetFunctions.SetFunction}), W<:(AbstractVector{<:Type})})(::Type{Tuple{}}, ::Vector{Union{}}, ::Vector{Type}) Stacktrace: [1] #limit#11 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/pointwisecats/ACSetLooseCats.jl:61 [inlined] [2] limit(m#2588::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.PointwiseCats.ACSetLooseCats.RightTypeSetC}, a::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Discrete.EmptyDiagram{Any, StaticArraysCore.SVector{0, Any}}; context::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.PointwiseCats.ACSetLooseCats ./none:0 [3] limit @ ./none:0 [inlined] [4] ##limit#1648#16#22 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [5] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons.var"##limit#1648#21"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons.var"##limit#1648#16#22"{Catlab.CategoricalAlgebra.Pointwise.PointwiseCats.ACSetLooseCats.RightTypeSetC}})(args::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Discrete.EmptyDiagram{Any, StaticArraysCore.SVector{0, Any}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [6] (::Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#18#21"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory})(::Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:117 [7] iterate @ ./generator.jl:47 [inlined] [8] _collect(c::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, itr::Base.Generator{Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#18#21"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}}, ::Base.EltypeUnknown, isz::Base.HasShape{1}) @ Base ./array.jl:854 [9] collect_similar(cont::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, itr::Base.Generator{Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#18#21"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}}) @ Base ./array.jl:763 [10] map(f::Function, A::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}) @ Base ./abstractarray.jl:3286 [11] pointwise_limit(model::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, d::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Discrete.EmptyDiagram{ACSets.ACSetInterface.ACSet, StaticArraysCore.SVector{0, ACSets.ACSetInterface.ACSet}}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:116 [12] #limit#1 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:36 [inlined] [13] terminal(m::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:33 [14] terminal @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:33 [inlined] [15] ##terminal#285#200#206 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [16] (::Catlab.Theories.var"##terminal#285#205"{Catlab.Theories.var"##terminal#285#200#206"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})() @ Catlab.Theories ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [17] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:670 [inlined] [18] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/looseacsetcats/Limits.jl:16 LooseACSetCats: Error During Test at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:29 Got exception outside of a @test LoadError: MethodError: no method matching (Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Multispans.Multispan{Type, Catlab.BasicSets.SetFunctions.SetFunction, Type, V, W} where {V<:(AbstractVector{<:Catlab.BasicSets.SetFunctions.SetFunction}), W<:(AbstractVector{<:Type})})(::Type{Tuple{}}, ::Vector{Union{}}, ::Vector{Type}) Stacktrace: [1] #limit#11 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/pointwisecats/ACSetLooseCats.jl:61 [inlined] [2] limit(m#2588::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.PointwiseCats.ACSetLooseCats.RightTypeSetC}, a::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Discrete.EmptyDiagram{Any, StaticArraysCore.SVector{0, Any}}; context::Nothing) @ Catlab.CategoricalAlgebra.Pointwise.PointwiseCats.ACSetLooseCats ./none:0 [3] limit @ ./none:0 [inlined] [4] ##limit#1648#16#22 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [5] (::Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons.var"##limit#1648#21"{Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons.var"##limit#1648#16#22"{Catlab.CategoricalAlgebra.Pointwise.PointwiseCats.ACSetLooseCats.RightTypeSetC}})(args::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Discrete.EmptyDiagram{Any, StaticArraysCore.SVector{0, Any}}) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Singletons ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [6] (::Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#18#21"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory})(::Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:117 [7] iterate @ ./generator.jl:47 [inlined] [8] _collect(c::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, itr::Base.Generator{Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#18#21"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}}, ::Base.EltypeUnknown, isz::Base.HasShape{1}) @ Base ./array.jl:854 [9] collect_similar(cont::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, itr::Base.Generator{Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}, Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits.var"#18#21"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}}) @ Base ./array.jl:763 [10] map(f::Function, A::Vector{Pair{Symbol, Catlab.CategoricalAlgebra.Cats.FreeDiagrams.FreeDiagram}}) @ Base ./abstractarray.jl:3286 [11] pointwise_limit(model::Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory, d::Catlab.CategoricalAlgebra.Cats.FreeDiagrams.Discrete.EmptyDiagram{ACSets.ACSetInterface.ACSet, StaticArraysCore.SVector{0, ACSets.ACSetInterface.ACSet}}) @ Catlab.CategoricalAlgebra.Pointwise.LimitsColimits.Limits ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:116 [12] #limit#1 @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/pointwise/limits_colimits/Limits.jl:36 [inlined] [13] terminal(m::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:33 [14] terminal @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:33 [inlined] [15] delete(m::GATlab.Syntax.TheoryInterface.WithModel{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}, x::Main.TestCategoricalAlgebra.TestLooseACSetLimits.SetAttr{Symbol}; context::Nothing) @ Catlab.CategoricalAlgebra.Cats.LimitsColimits.Terminals ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:43 [16] delete @ ~/.julia/packages/Catlab/frut0/src/categorical_algebra/cats/limits_colimits/Terminals.jl:40 [inlined] [17] ##delete#287#222#228 @ ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:254 [inlined] [18] (::Catlab.Theories.var"##delete#287#227"{Catlab.Theories.var"##delete#287#222#228"{Catlab.CategoricalAlgebra.Pointwise.CSets.ACSetCategory}})(args::Main.TestCategoricalAlgebra.TestLooseACSetLimits.SetAttr{Symbol}) @ Catlab.Theories ~/.julia/packages/GATlab/X6I1A/src/syntax/TheoryInterface.jl:253 [19] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/looseacsetcats/Limits.jl:22 [20] include(mod::Module, _path::String) @ Base ./Base.jl:495 [21] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [22] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/looseacsetcats/runtests.jl:5 [23] include(mod::Module, _path::String) @ Base ./Base.jl:495 [24] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [25] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:30 [inlined] [26] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [27] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/runtests.jl:30 [28] include(mod::Module, _path::String) @ Base ./Base.jl:495 [29] include(x::String) @ Main.TestCategoricalAlgebra ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:1 [30] macro expansion @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [inlined] [31] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [32] top-level scope @ ~/.julia/packages/Catlab/frut0/test/categorical_algebra/runtests.jl:14 [33] include(fname::String) @ Base.MainInclude ./client.jl:487 [34] macro expansion @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [inlined] [35] macro expansion @ /opt/julia/share/julia/stdlib/v1.10/Test/src/Test.jl:1582 [inlined] [36] top-level scope @ ~/.julia/packages/Catlab/frut0/test/runtests.jl:18 [37] include(fname::String) @ Base.MainInclude ./client.jl:487 [38] top-level scope @ none:6 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/looseacsetcats/Limits.jl:1 in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/categorical_algebra/pointwise/looseacsetcats/runtests.jl:5 Test Summary: | Pass Error Total Time CategoricalAlgebra | 540 35 575 14m36.1s Cats | 100 1 101 1m04.2s SetCats | 1 2 3 3.1s Pointwise | 362 32 394 13m03.9s CSetCats | 210 18 228 5m40.2s ACSetTransformations | 21 1 22 15.2s ACSetFunctors | 20 20 28.1s Limits | 1 1 5.7s Colimits | 20 2 22 20.0s HomSearch | 43 1 44 1m17.8s MCO | 3 1 4 11.6s VMSearch | 14 14 24.7s CatElements | 55 55 48.2s Subobjects | 10 1 11 9.1s Chase | 5 5 36.4s FunctorialDataMigrations | 5 2 7 24.8s Yoneda | 3 3 20.5s Dynamic | 10 10 12.1s StructuredCospans | 9 1 10 5.9s ACSetCats | 38 3 41 1m24.3s ACSetTransformations | 10 10 3.2s ACSetFunctors | 4 4 3.9s Colimits | 6 1 7 29.2s HomSearch | 9 9 28.0s FunctorialDataMigrations | 5 5 10.6s Dynamic | 1 1 5.1s Dynamic | 4 1 5 4.2s VarACSetCats | 80 7 87 3m52.0s ACSetTransformations | 10 10 22.2s Colimits | 13 1 14 44.2s HomSearch | 17 17 36.6s DataMigrations | 1 3 4 37.7s Subobjects | 34 34 27.3s MCO | 5 2 7 50.3s Yoneda | 1 1 13.7s MADCats | 3 1 4 11.1s MADVarACSetCats | 20 1 21 1m28.5s LooseACSetCats | 11 2 13 27.8s MiscCategoricalAlgebra | 77 77 24.9s ERROR: LoadError: Some tests did not pass: 540 passed, 0 failed, 35 errored, 0 broken. in expression starting at /home/pkgeval/.julia/packages/Catlab/frut0/test/runtests.jl:17 Testing failed after 1129.46s ERROR: LoadError: Package Catlab errored during testing Stacktrace: [1] pkgerror(msg::String) @ Pkg.Types /opt/julia/share/julia/stdlib/v1.10/Pkg/src/Types.jl:70 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.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.10/Pkg/src/Operations.jl:2034 [3] test @ /opt/julia/share/julia/stdlib/v1.10/Pkg/src/Operations.jl:1915 [inlined] [4] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.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::Base.PipeEndpoint}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.10/Pkg/src/API.jl:444 [5] test(pkgs::Vector{Pkg.Types.PackageSpec}; io::Base.PipeEndpoint, kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.10/Pkg/src/API.jl:159 [6] test @ /opt/julia/share/julia/stdlib/v1.10/Pkg/src/API.jl:147 [inlined] [7] #test#74 @ /opt/julia/share/julia/stdlib/v1.10/Pkg/src/API.jl:146 [inlined] [8] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1527.91s: package tests unexpectedly errored