From 02e54f9611ca955e7bc2509c53ada2c691c64932 Mon Sep 17 00:00:00 2001 From: danieldietsch Date: Mon, 30 Nov 2020 15:20:40 +0100 Subject: [PATCH] see sosy-lab/sv-witnesses#14 : do not print "control" because witness linter rejects it and we ignore it anyways --- .../ultimate/witnessprinter/CorrectnessWitnessGenerator.java | 1 - 1 file changed, 1 deletion(-) diff --git a/trunk/source/WitnessPrinter/src/de/uni_freiburg/informatik/ultimate/witnessprinter/CorrectnessWitnessGenerator.java b/trunk/source/WitnessPrinter/src/de/uni_freiburg/informatik/ultimate/witnessprinter/CorrectnessWitnessGenerator.java index f1ea7c60430..f4f295cb68a 100644 --- a/trunk/source/WitnessPrinter/src/de/uni_freiburg/informatik/ultimate/witnessprinter/CorrectnessWitnessGenerator.java +++ b/trunk/source/WitnessPrinter/src/de/uni_freiburg/informatik/ultimate/witnessprinter/CorrectnessWitnessGenerator.java @@ -95,7 +95,6 @@ public String makeGraphMLString() { addEdgeData(graphWriter, "sourcecode", null, edge -> StringEscapeUtils.escapeXml10(edge.getSourceCode())); addEdgeData(graphWriter, "assumption", null, edge -> StringEscapeUtils.escapeXml10(edge.getAssumption())); addEdgeData(graphWriter, "tokens", null, edge -> null); - addEdgeData(graphWriter, "control", null, edge -> edge.getControl()); addEdgeData(graphWriter, "startline", null, edge -> edge.getStartLineNumber()); addEdgeData(graphWriter, "endline", null, edge -> edge.getEndLineNumber()); addEdgeData(graphWriter, "originfile", StringEscapeUtils.escapeXml10(mTranslatedCFG.getFilename()),