diff --git a/test/test_issue35.py b/test/test_issue35.py index 201b31c..99caece 100644 --- 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 == []