Add test case for issue #35.

mcmtroffaes · Jan 1, 2021 · 5cab420 · 5cab420
1 parent 89c40a7
commit 5cab420
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/test_issue35.py 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()