linux/tools/verification/models
…
..
wip.dot
wwnr.dot