add ptalog to dfa benchmark generation

1 files changed, 8 insertions, 0 deletions

diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py
index 8bb8943..1eb5073 100755
--- a/bin/generate-dfa-benchmark.py
+++ b/bin/generate-dfa-benchmark.py
@@ -39,20 +39,28 @@ if __name__ == '__main__':
     with open(modelfile, 'r') as f:
         pta = PTA.from_json(json.load(f))
 
+    print('ptalog.startBenchmark(0);')
+
     for run in pta.dfs(opt['depth'], with_arguments = True):
+        print('ptalog.reset();')
         for transition, arguments in run:
             print('// {} -> {}'.format(transition.origin.name, transition.destination.name))
+            print('ptalog.passTransition({:d});'.format(pta.get_transition_id(transition)))
             if transition.is_interrupt:
                 print('// wait for {} interrupt'.format(transition.name))
+                print('// TODO add startTransition / stopTransition calls to interrupt routine')
             else:
+                print('ptalog.startTransition();')
                 if 'instance' in opt:
                     print('{}.{}({});'.format(opt['instance'], transition.name, ', '.join(arguments)))
                 else:
                     print('{}({});'.format(transition.name, ', '.join(arguments)))
+                print('ptalog.stopTransition();')
 
             if 'sleep' in opt:
                 print('arch.delay_ms({:d});'.format(opt['sleep']))
 
+        print('ptalog.dump();')
         print()
 
     sys.exit(0)