From d4f2e37c5b0a6541c2b253ac46b6f2c56c0eef86 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Sun, 5 Nov 2023 11:36:00 +0100 Subject: Pass TestFiniteMonotoneMapProperties --- Homeworks.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Homeworks.md') diff --git a/Homeworks.md b/Homeworks.md index 1aefcb4..f730c5f 100644 --- a/Homeworks.md +++ b/Homeworks.md @@ -44,11 +44,11 @@ $ make docker-check - [?] TestFinitePosetMeasurement - [X] TestFinitePosetConstructionProduct - [?] TestFinitePosetConstructionSum -- [?] TestFinitePosetConstructionOpposite +- [X] TestFinitePosetConstructionOpposite - [?] TestFinitePosetConstructionTwisted - [?] TestFinitePosetConstructionArrow -- [ ] TestFiniteMonotoneMapProperties +- [X] TestFiniteMonotoneMapProperties ## Exercises for Nov. 20 -- cgit v1.2.1