A functionality that adds a show cfg code lens to each function for an option to see the CFG of that function. GobPie generates the code lenses for each function during the analysis and asks for the CFG from the server (to be generated) only when the code lens is clicked.
A functionality that adds a
show cfg
code lens to each function for an option to see the CFG of that function. GobPie generates the code lenses for each function during the analysis and asks for the CFG from the server (to be generated) only when the code lens is clicked.Relates to goblint/analyzer#763.