From 57bac42a3fba2a5601181b28a4f7862d53fe90a8 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Tue, 10 Oct 2023 09:36:33 +0200 Subject: Pass TestFiniteMakeSetProduct --- 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