/tools/verification/dot2/dot2k_templates/

• ../
• main_global.c
• main_per_cpu.c
• main_per_task.c