1 files changed, 5 insertions, 11 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/playground/ConstantPropagationPlayground.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/playground/ConstantPropagationPlayground.java
index 25cf73995a..79088386a9 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/playground/ConstantPropagationPlayground.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/playground/ConstantPropagationPlayground.java
@@ -8,26 +8,20 @@ import org.checkerframework.dataflow.constantpropagation.ConstantPropagationTran
 
 public class ConstantPropagationPlayground {
 
-    /**
-     * Run constant propagation for a specific file and create a PDF of the CFG
-     * in the end.
-     */
+    /** Run constant propagation for a specific file and create a PDF of the CFG in the end. */
     public static void main(String[] args) {
 
         /* Configuration: change as appropriate */
         String inputFile = "cfg-input.java"; // input file name and path
-        String outputFileName = "cfg"; // output file name and path (without
-                                       // extension)
+        String outputDir = "cfg"; // output directory
         String method = "test"; // name of the method to analyze
         String clazz = "Test"; // name of the class to consider
 
         // run the analysis and create a PDF file
         ConstantPropagationTransfer transfer = new ConstantPropagationTransfer();
         // TODO: correct processing environment
-        Analysis<Constant, ConstantPropagationStore, ConstantPropagationTransfer> analysis = new Analysis<>(
-                null, transfer);
-        JavaSource2CFGDOT.generateDOTofCFG(inputFile, outputFileName, method,
-                clazz, true, analysis);
+        Analysis<Constant, ConstantPropagationStore, ConstantPropagationTransfer> analysis =
+                new Analysis<>(null, transfer);
+        JavaSource2CFGDOT.generateDOTofCFG(inputFile, outputDir, method, clazz, true, analysis);
     }
-
 }