Commit bce504ff authored by Joachim Müssig's avatar Joachim Müssig
Browse files

Fix json error in .dispro file

parent 91a705a4
...@@ -293,7 +293,9 @@ public class SummaryEdgeAndMethodToCorresData implements ViolationsWrapperListen ...@@ -293,7 +293,9 @@ public class SummaryEdgeAndMethodToCorresData implements ViolationsWrapperListen
} }
} }
SDGEdge e = sdg.getEdge(sdg.getNode(inid), sdg.getNode(outid)); SDGEdge e = sdg.getEdge(sdg.getNode(inid), sdg.getNode(outid));
created.edgeToLoopInvariant.put(e, loopInvariants); if (e != null) {
created.edgeToLoopInvariant.put(e, loopInvariants);
}
} }
return created; return created;
} }
......
...@@ -57,7 +57,9 @@ public class ViolationChop { ...@@ -57,7 +57,9 @@ public class ViolationChop {
for (SDGNode n : nodesInChop) { for (SDGNode n : nodesInChop) {
created.append(n.getId()).append(",").append(System.lineSeparator()); created.append(n.getId()).append(",").append(System.lineSeparator());
} }
if (created.lastIndexOf("[") != created.length() - 1) {
//delete last comma
if (created.lastIndexOf("[") != created.length() - 2) {
created.delete(created.length() - lengthOfLineSep - 1, created.length()); created.delete(created.length() - lengthOfLineSep - 1, created.length());
} }
created.append("]").append(System.lineSeparator()); created.append("]").append(System.lineSeparator());
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment