Project

General

Profile

« Previous | Next » 

Revision 86c2c2ee

ID86c2c2ee44068209f0b58dd728425b85718c17a2
Parent 5f1ec830
Child 83612ae5

Added by Hans-Peter Deifel 9 months ago

Prettify graphviz output

- Use more readable colors and proper spacing
- Differentiate between cores and states by shape
- Add a legend
- Teach debugger to optionally write graph to file instead of stdout

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences