From 34881ad4f49a3dbee80088db5725a1d21390f957 Mon Sep 17 00:00:00 2001 From: Andrei Bondarenko Date: Tue, 13 Jul 2021 10:56:55 +0200 Subject: [PATCH] Fixed string dumping --- state/devstate.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/state/devstate.py b/state/devstate.py index bccb850..3fa3971 100644 --- a/state/devstate.py +++ b/state/devstate.py @@ -31,8 +31,10 @@ class DevState(PyState): x = self.values[n] if isinstance(x, dict): x = f"{x.get('type')}" + else: + x = repr(x) f.write("\"a_%s\" [label=\"%s\"];\n" % ( - n, str(x).replace('"', '\\"'))) + n, x.replace('"', '\\"'))) else: f.write("\"a_%s\" [label=\"\"];\n" % n) for i, e in sorted(list(self.edges.items())):