Home
last modified time | relevance | path

Searched refs:dot_file (Results 1 – 3 of 3) sorted by relevance

/Linux-v6.6/tools/verification/dot2/
Ddot2k28 print("Opening and parsing the dot file %s" % params.dot_file)
30 monitor=dot2k(params.dot_file, params.monitor_type)
Dautomata.py46 dot_file = open(self.__dot_path)
50 dot_lines = dot_file.read().splitlines()
51 dot_file.close()
Ddot2c25 d = dot2c.Dot2c(args.dot_file)