OLD | NEW |
1 #!/usr/bin/python | 1 #!/usr/bin/env python |
2 # Copyright (c) 2013 The Native Client Authors. All rights reserved. | 2 # Copyright (c) 2013 The Native Client Authors. All rights reserved. |
3 # Use of this source code is governed by a BSD-style license that can be | 3 # Use of this source code is governed by a BSD-style license that can be |
4 # found in the LICENSE file. | 4 # found in the LICENSE file. |
5 | 5 |
6 import sys | 6 import sys |
7 import os | 7 import os |
8 sys.path.append(os.path.join(os.path.dirname(__file__), '..')) | 8 sys.path.append(os.path.join(os.path.dirname(__file__), '..')) |
9 import dfa_parser | 9 import dfa_parser |
10 | 10 |
11 | 11 |
(...skipping 45 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
57 _, start_state1 = dfa_parser.ParseXml(filename1) | 57 _, start_state1 = dfa_parser.ParseXml(filename1) |
58 _, start_state2 = dfa_parser.ParseXml(filename2) | 58 _, start_state2 = dfa_parser.ParseXml(filename2) |
59 | 59 |
60 Traverse(start_state1, start_state2, []) | 60 Traverse(start_state1, start_state2, []) |
61 | 61 |
62 print 'automata are equivalent' | 62 print 'automata are equivalent' |
63 | 63 |
64 | 64 |
65 if __name__ == '__main__': | 65 if __name__ == '__main__': |
66 main() | 66 main() |
OLD | NEW |