goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
5 stars 3 forks source link

An open CFG is not updated when function is changed and program reanalyzed #63

Open karoliineh opened 1 year ago

karoliineh commented 1 year ago

When there is a CFG open for some function, the function is changed and the program is reanalyzed, the old CFG is shown instead of the one for the updated function.

The open CFG should be refreshed automatically when the program is reanalyzed (the new CFG for the function should be queried and displayed).