/tools/verification/dot2/
../
Makefile
automata.py
dot2c
dot2c.py