diff options
| author | Nao Pross <np@0hm.ch> | 2023-11-05 11:36:00 +0100 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-11-05 11:36:00 +0100 |
| commit | d4f2e37c5b0a6541c2b253ac46b6f2c56c0eef86 (patch) | |
| tree | 395ab4e139f28dd67b549fa318d09173fe901300 /Homeworks.md | |
| parent | Fix (new) bug in MyFiniteSetProduct to pass TestFiniteMapRepresentation (diff) | |
| download | act4e-d4f2e37c5b0a6541c2b253ac46b6f2c56c0eef86.tar.gz act4e-d4f2e37c5b0a6541c2b253ac46b6f2c56c0eef86.zip | |
Pass TestFiniteMonotoneMapProperties
Diffstat (limited to 'Homeworks.md')
| -rw-r--r-- | Homeworks.md | 4 |
1 files changed, 2 insertions, 2 deletions
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 |