This patchset implements a couple of options in the dot2k command and
makes the templates a little more robust.
The base is linux-next.
Gabriele Monaco (4):
verification/dot2k: Fix template directory if not installed
verification/dot2k: Unify main.c templates
verification/dot2k: More robust template variables
verification/dot2k: Add support for name and description options
tools/verification/dot2/automata.py | 4 +-
tools/verification/dot2/dot2c.py | 4 +-
tools/verification/dot2/dot2k | 6 +-
tools/verification/dot2/dot2k.py | 41 +++++----
.../dot2k_templates/{main_global.c => main.c} | 50 +++++-----
.../dot2/dot2k_templates/main_per_cpu.c | 91 -------------------
.../dot2/dot2k_templates/main_per_task.c | 91 -------------------
7 files changed, 54 insertions(+), 233 deletions(-)
rename tools/verification/dot2/dot2k_templates/{main_global.c => main.c} (50%)
delete mode 100644 tools/verification/dot2/dot2k_templates/main_per_cpu.c
delete mode 100644 tools/verification/dot2/dot2k_templates/main_per_task.c
base-commit: ac24e26aa08fe026804f678599f805eb13374a5d
--
2.47.0
