diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2019-02-21 16:58:12 +0100 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2019-02-21 16:58:12 +0100 |
| commit | cf48fc7cc6b49cf2231aeb9254808f129e0ba7b3 (patch) | |
| tree | 5732d8382d0494cf49c5913c7a064b6a352084f9 /bin/generate-dfa-benchmark.py | |
| parent | 6357bd51859bb29629d360309b2b4134b6ae766d (diff) | |
add support for accepting states
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 1 |
1 files changed, 1 insertions, 0 deletions
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: |