diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2021-03-02 15:33:40 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2021-03-02 15:33:40 +0100 |
| commit | a820126a4decaa28a8f2a803c1b4102c4c6b5de4 (patch) | |
| tree | dfd5f947ad8362ebbddba62c47e58c1b16f234b7 /bin/analyze-timing.py | |
| parent | c0ded9f5fee9441e9cb429ff79bd25d134a3ae31 (diff) | |
PTAModel: Turn states, transitions, and states_and_transitions into attributes
Diffstat (limited to 'bin/analyze-timing.py')
0 files changed, 0 insertions, 0 deletions