[typetools/checker-framework] 77e017: Separate creation of CFG from visualizing it (#7238)

0 views
Skip to first unread message

Michael Ernst

unread,
Sep 4, 2025, 1:28:37 PM (3 days ago) Sep 4
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 77e0176a4c6234037e77222502ef460513d3faf1
https://github.com/typetools/checker-framework/commit/77e0176a4c6234037e77222502ef460513d3faf1
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-09-04 (Thu, 04 Sep 2025)

Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/CFGVisualizeLauncher.java
M dataflow/src/test/java/cfgconstruction/CFGConstruction.java

Log Message:
-----------
Separate creation of CFG from visualizing it (#7238)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Reply all
Reply to author
Forward
0 new messages