From 73285655080ea044154bfb942e2356c673dbb704 Mon Sep 17 00:00:00 2001
From: Peter Waegemann <waegemann@cs.fau.de>
Date: Sun, 22 Apr 2018 12:30:20 +0200
Subject: [PATCH] Omit minlen parameter in dot graphs, since it causes xdot to
crash (without error message)
---
generator/analysis/common.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/generator/analysis/common.py b/generator/analysis/common.py
index 70bf1fef..54035936 100644
--- a/generator/analysis/common.py
+++ b/generator/analysis/common.py
@@ -215,7 +215,10 @@ class Edge:
def dump_as_dot(self, within={}):
ret = ""
attrs = {
- "minlen": 3,
+ # omit minlen parameter, since it causes dot to crash (without an
+ # error message) for some larger graphs. The parameter would cause
+ # graphs to look nicer due to the minimum distance between nodes.
+ # "minlen": 3,
"label": '"' + str(self.label) + '"',
"color":self.color,
}
--
GitLab