Showing CFG node states - Githubissues

goblint / GobPie

Goblint IDE integration via MagpieBridge

MIT License

5 stars 3 forks source link

Showing CFG node states #42

Closed karoliineh closed 1 year ago

karoliineh commented 1 year ago

Closes #38.

The functionality to show states for CFG nodes:

Uses an HTTP server to communicate with the "frontend"
I opted for Thymeleaf templates for the HTML and JS

TODO:

[x] Make the code actions for showing CFGs optional through GobPie configuration because it can make the code look crowded and it would be nice to be able to turn them off.
[x] The node state request does not work for the start and end nodes