diff --git a/test/test_issue35.py b/test/test_issue35.py new file mode 100644 index 0000000..e10188c --- /dev/null +++ b/test/test_issue35.py @@ -0,0 +1,8 @@ +import cdd + + +# this should not segfault +def test_issue35(): + m = cdd.Matrix([[0, 0, 0]], number_type="float") + m.rep_type = cdd.RepType.INEQUALITY + m.canonicalize()