[typetools/checker-framework] 616a91: Output the result value in CFG visualization (#6604)

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 616a915255236f0aa94b2524180ba2621a2554e3
https://github.com/typetools/checker-framework/commit/616a915255236f0aa94b2524180ba2621a2554e3
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-05-21 (Tue, 21 May 2024)

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)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications