diff --git a/Leere Datei b/Leere Datei index 4888831d49e76322db3fe783a5ea16c0cb14a271..7c69a2de5dd641120ac7db0a507ab636b5fb5551 100644 --- a/Leere Datei +++ b/Leere Datei @@ -1,2 +1,17 @@ -../ifsm1.kiss,148,73,9,19624,75,10,34643 +file,origstates,forwardstates,forward rounds,mqueries,reversestates,reverse rounds,mqueries2 +ifsm1.kiss,148,73,9,19624,75,10,34643 intel_edge.dummy.kiss,56,24,6,6562,24,5,4623 +fo.16.kiss,33,15,5,1518,15,6,1160 +fo.20.kiss,41,18,4,1870,18,8,1407 +fo.30.kiss,61,30,6,7826,30,11,4032 +fo.40.kiss,81,40,5,8954,40,12,9628 +fo.50.kiss,101,50,11,29747,51,14,11935 +fo.60.kiss,121,60,9,32399,61,18,14884 +fo.70.kiss,141,71,10,67838,72,17,22594 +th.20.kiss,41,17,6,2652,17,8,1541 +th.25.kiss,51,26,7,5688,26,7,2619 +th.30.kiss,61,31,7,7426,31,7,3894 +th.35.kiss,71,36,8,11881,39,9,5576 +th.40.kiss,81,40,8,13794,40,13,6720 +th.55.kiss,109,50,9,25670,50,13,9800 +teste.kiss,4,3,2,65,4,3,85 diff --git a/learnlib/Kiss2Parser.java b/learnlib/Kiss2Parser.java index 86f69f0de75324198c1eceba56aa9f8091a499f4..fb7beccdaf19c71725060269657f6e3487ba472b 100644 --- a/learnlib/Kiss2Parser.java +++ b/learnlib/Kiss2Parser.java @@ -22,7 +22,7 @@ public class Kiss2Parser extends GraphvizParser { Scanner s = new Scanner(filename); while(s.hasNextLine()){ String line = s.nextLine(); - line = line.split("#",1)[0].trim(); + line = line.split("#",2)[0].trim(); if(line.isEmpty() || line.startsWith(".")) continue;