Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/Analysis.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/AnalysisResult.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/TransferResult.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/AbstractCFGVisualizer.java
M dataflow/tests/constant-propagation/Expected.txt
M dataflow/tests/reachingdef/Expected.txt
M docs/manual/creating-a-checker.tex
Log Message:
-----------
Output the result value in CFG visualization (#6604)