Skip to content

Commit

Permalink
missing end
Browse files Browse the repository at this point in the history
  • Loading branch information
Kevin Arlin committed Apr 18, 2024
1 parent 7e3f355 commit 15beb56
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion test/categorical_algebra/CSets.jl
Original file line number Diff line number Diff line change
Expand Up @@ -818,4 +818,5 @@ homoms = homomorphisms(p,p)
hs = [(:it,:I,:T),(:ot,:O,:T)]
#Cartesian morphisms have to preserve the states and transitions and
#can only swap or not-swap the inputs to T 2 and the outputs to T 1
@test sum(map(h->is_cartesian(h,hs),homoms))==12

end

0 comments on commit 15beb56

Please sign in to comment.