Comments

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Jan 17, 2024 · be3539f · be3539f
1 parent fb441e7
commit be3539f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/analysis/alias/AliasAnalysis.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/analysis/alias/AliasAnalysis.java
@@ -135,7 +135,7 @@ private void generateGraph(Program program, Config configuration) {
             maySet.removeAll(mustSet);
         }
 
-        // Print the graphs
+        // Generates the graphs
         final var graphviz = new Graphviz();
         graphviz.beginGraph("alias");
         graphviz.beginSubgraph("may alias");
@@ -148,7 +148,7 @@ private void generateGraph(Program program, Config configuration) {
         graphviz.end();
         graphviz.end();
 
-        // Print the .dot file and convert into the .png file.
+        // Generates the .dot file and convert into the .png file.
         String programName = program.getName();
         String programBase = programName.substring(0, programName.lastIndexOf('.'));
         File dotFile = new File(getOutputDirectory() + "/" + programBase + "-alias.dot");