Model voor a4 en aanpassing in script zodat states nu goed geplitst worden

[tt2015.git] / a4 / tcp / results / van_learnlib_naar_dot.py

diff --git a/a4/tcp/results/van_learnlib_naar_dot.py b/a4/tcp/results/van_learnlib_naar_dot.py
index 86d5e7f..e6b69d0 100755 (executable)
--- a/a4/tcp/results/van_learnlib_naar_dot.py
+++ b/a4/tcp/results/van_learnlib_naar_dot.py
@@ -25,9 +25,9 @@ pat = r's(?P<f>\d+) -> s(?P<t>\d+) \[label="(?P<i>\S+) / (?P<o>\S+)"\];'
 for line in inputfile:
     match = re.search(pat, line)
     if match:
-        outputfile.write('\ts{0} -> s{0}_ [label="!{1}"]\n'.format(
-            match.group('f'), match.group('i')))
-        outputfile.write('\ts{}_ -> s{} [label="?{}"]\n'.format(
+        outputfile.write('\ts{0} -> s{0}_{1} [label="{2}?"]\n'.format(
+            match.group('f'), match.group('t'), match.group('i')))
+        outputfile.write('\ts{0}_{1} -> s{1} [label="{2}!"]\n'.format(
             match.group('f'), match.group('t'), match.group('o')))
     else:
         outputfile.write(line)