From b9609b6a420662b2a09b1fcc06a156282bde030a Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Tue, 10 Oct 2023 12:11:31 +0200 Subject: Sketch TestFiniteMapRepresentation --- Homeworks.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Homeworks.md') 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 -- cgit v1.2.1