From cf48fc7cc6b49cf2231aeb9254808f129e0ba7b3 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Thu, 21 Feb 2019 16:58:12 +0100 Subject: add support for accepting states --- bin/generate-dfa-benchmark.py | 1 + 1 file changed, 1 insertion(+) (limited to 'bin/generate-dfa-benchmark.py') diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index e96100c..8bb8943 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -41,6 +41,7 @@ if __name__ == '__main__': for run in pta.dfs(opt['depth'], with_arguments = True): for transition, arguments in run: + print('// {} -> {}'.format(transition.origin.name, transition.destination.name)) if transition.is_interrupt: print('// wait for {} interrupt'.format(transition.name)) else: -- cgit v1.2.3