Add Comments

rcosta358 · rcosta358 · commit 22e89b8400bf · 2026-06-09T14:50:56.000+01:00
diff --git a/liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/VCSimplifier.java b/liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/VCSimplifier.java
@@ -4,7 +4,11 @@
 
 public class VCSimplifier {
 
-    public static VCImplication simplifyOnce(VCImplication implication) {
+    /**
+     * Applies all available simplification steps to a VC chain
+     */
+    public static VCImplication simplify(VCImplication implication) {
+        // TODO: implement remaining simplification steps
         return VCSubstitution.apply(implication);
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,11 @@`
`4`	`4`
`5`	`5`	`public class VCSimplifier {`
`6`	`6`
`7`		`- public static VCImplication simplifyOnce(VCImplication implication) {`
	`7`	`+ /**`
	`8`	`+ * Applies all available simplification steps to a VC chain`
	`9`	`+ */`
	`10`	`+ public static VCImplication simplify(VCImplication implication) {`
	`11`	`+ // TODO: implement remaining simplification steps`
`8`	`12`	`return VCSubstitution.apply(implication);`
`9`	`13`	`}`
`10`	`14`	`}`