Show states for CFG nodes

goblint / GobPie

Goblint IDE integration via MagpieBridge

MIT License

5 stars 3 forks source link

Show states for CFG nodes #38

Closed karoliineh closed 1 year ago

karoliineh commented 2 years ago

Now that GobPie has the feature of showing CFGs for functions, it would be nice also to include the functionality to see the states of the CFG nodes. This also requires implementing a new request for the Goblint server, though.