From f9f8f1fd011b6e26d4ed01052ecc05118c7d2afe Mon Sep 17 00:00:00 2001
From: "Matthias C. M. Troffaes" <matthias.troffaes@gmail.com>
Date: Fri, 22 Nov 2019 16:20:57 +0000
Subject: [PATCH] Add test case for issue #35.

---
 test/test_issue35.py | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 test/test_issue35.py

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()