linux/tools/verification/models/sched/snroc.dot