add taclet name

wadoon · wadoon · commit 693f6df8c22b · 2026-01-03T04:53:12.000+01:00
diff --git a/key.core/src/test/java/de/uka/ilkd/key/proof/runallproofs/ProveTest.java b/key.core/src/test/java/de/uka/ilkd/key/proof/runallproofs/ProveTest.java
@@ -179,7 +179,8 @@ public static void saveProofXml(Proof loadedProof, Path path) throws IOException
     }
 
     private static void toXml(PrintWriter out, Node node) {
-        out.format("\n<node label=\"%s\">", node.getNodeInfo().getBranchLabel());
+        out.format("\n<node label=\"%s\" taclet=\"%s\">", node.getNodeInfo().getBranchLabel(),
+                node.getAppliedRuleApp().rule().name());
         out.format("\n<raw><![CDATA[%s]]>\n</raw>", node.sequent());
         out.format("\n<lpr><![CDATA[%s]]>\n</lpr>",
             LogicPrinter.quickPrintSequent(node.sequent(), node.proof().getServices()));

Original file line number	Diff line number	Diff line change
`@@ -179,7 +179,8 @@ public static void saveProofXml(Proof loadedProof, Path path) throws IOException`
`179`	`179`	`}`
`180`	`180`
`181`	`181`	`private static void toXml(PrintWriter out, Node node) {`
`182`		`- out.format("\n<node label=\"%s\">", node.getNodeInfo().getBranchLabel());`
	`182`	`+ out.format("\n<node label=\"%s\" taclet=\"%s\">", node.getNodeInfo().getBranchLabel(),`
	`183`	`+ node.getAppliedRuleApp().rule().name());`
`183`	`184`	`out.format("\n<raw><![CDATA[%s]]>\n</raw>", node.sequent());`
`184`	`185`	`out.format("\n<lpr><![CDATA[%s]]>\n</lpr>",`
`185`	`186`	`LogicPrinter.quickPrintSequent(node.sequent(), node.proof().getServices()));`