diff options
| author | Nao Pross <np@0hm.ch> | 2023-10-10 12:11:31 +0200 |
|---|---|---|
| committer | Nao Pross <np@0hm.ch> | 2023-10-10 12:11:31 +0200 |
| commit | b9609b6a420662b2a09b1fcc06a156282bde030a (patch) | |
| tree | 697d6b0f5926ff88128b40c7e725150066fd6c35 /Homeworks.md | |
| parent | Implement loading of set products in SolFiniteSetRepresentation (diff) | |
| download | act4e-b9609b6a420662b2a09b1fcc06a156282bde030a.tar.gz act4e-b9609b6a420662b2a09b1fcc06a156282bde030a.zip | |
Sketch TestFiniteMapRepresentation
Diffstat (limited to 'Homeworks.md')
| -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 |