One more test.

mcmtroffaes · Sep 24, 2024 · 37bc56f · 37bc56f
1 parent f3ad498
commit 37bc56f
Showing 1 changed file with 10 additions and 3 deletions.
diff --git a/test/test_issue35.py b/test/test_issue35.py
@@ -4,9 +4,10 @@
 
 # this should not segfault
 @pytest.mark.skip  # temporarily disabled to check other tests
-def test_issue35() -> None:
+def test_issue35_1() -> None:
     mat = cdd.matrix_from_array([[0, 0, 0]], rep_type=cdd.RepType.INEQUALITY)
-    cdd.matrix_canonicalize(mat)
+    assert cdd.matrix_canonicalize(mat) == ({0}, None)
+    assert mat.array == []
 
 
 def test_issue35_2() -> None:
@@ -23,11 +24,17 @@ def test_issue35_3() -> None:
 
 def test_issue35_4() -> None:
     mat = cdd.matrix_from_array([], rep_type=cdd.RepType.INEQUALITY)
-    assert cdd.matrix_redundancy_remove(mat) == (set(), [])
+    assert cdd.matrix_canonicalize(mat) == (set(), set(), [])
     assert mat.array == []
 
 
 def test_issue35_5() -> None:
+    mat = cdd.matrix_from_array([], rep_type=cdd.RepType.INEQUALITY)
+    assert cdd.matrix_redundancy_remove(mat) == (set(), [])
+    assert mat.array == []
+
+
+def test_issue35_6() -> None:
     mat = cdd.matrix_from_array([], rep_type=cdd.RepType.INEQUALITY)
     assert cdd.matrix_canonicalize_linearity(mat) == (set(), [])
     assert mat.array == []