summaryrefslogtreecommitdiffstats
path: root/Homeworks.md
diff options
context:
space:
mode:
authorNao Pross <np@0hm.ch>2023-10-10 11:26:46 +0200
committerNao Pross <np@0hm.ch>2023-10-10 11:26:46 +0200
commitd208bf8102bea5212027efc71e51b4dbddfda0f9 (patch)
tree0e0126f7fcd6a1f25ad030ac1235dfe5d9e6fe14 /Homeworks.md
parentPass TestFiniteMakeSetProduct (diff)
downloadact4e-d208bf8102bea5212027efc71e51b4dbddfda0f9.tar.gz
act4e-d208bf8102bea5212027efc71e51b4dbddfda0f9.zip
Implement loading of set products in SolFiniteSetRepresentation
Diffstat (limited to 'Homeworks.md')
-rw-r--r--Homeworks.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/Homeworks.md b/Homeworks.md
index 79eb7b2..3a20327 100644
--- a/Homeworks.md
+++ b/Homeworks.md
@@ -10,7 +10,7 @@ $ make docker-check
- [X] TestFiniteSetRepresentation
- [X] TestFiniteSetProperties
-- [X] TestFiniteMakeSetProduct
+- [ ] TestFiniteMakeSetProduct
- [ ] TestFiniteMapRepresentation
- [ ] TestFiniteMapOperations
- [ ] TestFiniteSetRepresentation