fixed TerminalCategoryCocartesian.tst

[mohamed-barakat]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.20%. Comparing base (46f274b) to head (d48cd57).
Report is 2 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1714      +/-   ##
==========================================
+ Coverage   75.28%   81.20%   +5.91%     
==========================================
  Files         329      559     +230     
  Lines       43398    79561   +36163     
==========================================
+ Hits        32673    64606   +31933     
- Misses      10725    14955    +4230     

Flag	Coverage Δ
ActionsForCAP	64.04% <ø> (?)
AttributeCategoryForCAP	90.45% <ø> (?)
CAP	86.29% <ø> (?)
CartesianCategories	89.43% <100.00%> (?)
CompilerForCAP	95.88% <ø> (?)
ComplexesAndFilteredObjectsForCAP	73.55% <ø> (ø)
FreydCategoriesForCAP	82.22% <ø> (ø)
GeneralizedMorphismsForCAP	61.76% <ø> (ø)
GradedModulePresentationsForCAP	44.62% <ø> (ø)
GroupRepresentationsForCAP	71.92% <ø> (ø)
HomologicalAlgebraForCAP	73.21% <ø> (ø)
InternalExteriorAlgebraForCAP	93.09% <ø> (ø)
LinearAlgebraForCAP	52.92% <ø> (ø)
ModulePresentationsForCAP	69.88% <ø> (ø)
ModulesOverLocalRingsForCAP	90.70% <ø> (ø)
MonoidalCategories	89.84% <ø> (ø)
ToricSheaves	21.79% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.