diff options
| author | Nao Pross <np@0hm.ch> | 2023-10-10 09:36:33 +0200 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-10-10 09:36:33 +0200 |
| commit | 57bac42a3fba2a5601181b28a4f7862d53fe90a8 (patch) | |
| tree | 1cde1db8d54e81746c70e96b3f5029d2c644d903 /Homeworks.md | |
| parent | Setup file to keep track of homeworks and create shorthand in makefile (diff) | |
| download | act4e-57bac42a3fba2a5601181b28a4f7862d53fe90a8.tar.gz act4e-57bac42a3fba2a5601181b28a4f7862d53fe90a8.zip | |
Pass TestFiniteMakeSetProduct
Diffstat (limited to '')
| -rw-r--r-- | Homeworks.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Homeworks.md b/Homeworks.md index 3a20327..79eb7b2 100644 --- a/Homeworks.md +++ b/Homeworks.md @@ -10,7 +10,7 @@ $ make docker-check - [X] TestFiniteSetRepresentation - [X] TestFiniteSetProperties -- [ ] TestFiniteMakeSetProduct +- [X] TestFiniteMakeSetProduct - [ ] TestFiniteMapRepresentation - [ ] TestFiniteMapOperations - [ ] TestFiniteSetRepresentation |