diff options
Diffstat (limited to 'run.py')
-rwxr-xr-x | run.py | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -13,6 +13,7 @@ | |||
13 | ############################################################################### | 13 | ############################################################################### |
14 | 14 | ||
15 | import trace_reader | 15 | import trace_reader |
16 | import sanitizer | ||
16 | import stdout_printer | 17 | import stdout_printer |
17 | 18 | ||
18 | ############################################################################### | 19 | ############################################################################### |
@@ -31,4 +32,5 @@ g6 = [ | |||
31 | ############################################################################### | 32 | ############################################################################### |
32 | 33 | ||
33 | stream = trace_reader.trace_reader(g6) | 34 | stream = trace_reader.trace_reader(g6) |
35 | stream = sanitizer.sanitizer(stream) | ||
34 | stdout_printer.stdout_printer(stream) | 36 | stdout_printer.stdout_printer(stream) |