Commit 245737b7 authored by Alexander Weigl's avatar Alexander Weigl

uncomment compression...

parent b9e750f0
Pipeline #15147 passed with stages
in 6 minutes and 30 seconds
......@@ -201,7 +201,7 @@ public class ProofTree extends BorderPane {
{
if (proof.get() != null) {
List<String[]> labels = LabelFactory.getLabelOfOpenGoals(proof.get(),
LabelFactory::getRuleLabel);
LabelFactory::getBranchingLabel);
String text;
if (labels.isEmpty()) {
text = "// no open goals";
......@@ -209,7 +209,7 @@ public class ProofTree extends BorderPane {
text = "// only one goals";
} else {
int upperLimit = 0;
/* trying to find the common suffix
/* trying to find the common suffix*/
try {
String[] ref = labels.get(0);
for (; true; upperLimit++) {
......@@ -221,7 +221,7 @@ public class ProofTree extends BorderPane {
upperLimit++;
}
} catch (ArrayIndexOutOfBoundsException e) {
}*/
}
int finalUpperLimit = upperLimit;
text = labels.stream()
......
package edu.kit.iti.formal.psdbg.gui.controls;
import de.uka.ilkd.key.proof.Node;
Markdown is supported
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