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 index c851320c06..e92b147186 100644 --- 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");