From 6b0ce0dbbdd94e06e8d1797be601d76232cdfd00 Mon Sep 17 00:00:00 2001
From: Thomas <thomas.vogt1@rwth-aachen.de>
Date: Tue, 18 Feb 2020 14:12:32 +0100
Subject: [PATCH] Kiss2 fix comment parsing
---
Leere Datei | 17 ++++++++++++++++-
learnlib/Kiss2Parser.java | 2 +-
2 files changed, 17 insertions(+), 2 deletions(-)
diff --git a/Leere Datei b/Leere Datei
index 4888831..7c69a2d 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 86f69f0..fb7becc 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;
--
GitLab