diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-25 13:58:31 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-25 13:58:31 +0100 |
| commit | 961597c764419d97c4ac586fa971e3a0d2cffa22 (patch) | |
| tree | c9472bf864e63c26e9db1d22d19ed7e6f06e86c3 /bin | |
| parent | 93c7025733b1c7901fa0365e547577d1155c36bd (diff) | |
codegen/generate-dfa-benchmark: Support measurement of getEnergy call
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 429703b..76c1f77 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -381,6 +381,10 @@ if __name__ == '__main__': repo = Repo('/home/derf/var/projects/multipass/build/repo.acp') + if 'accounting' in opt and 'getEnergy' not in map(lambda x: x.name, pta.transitions): + for state in pta.get_state_names(): + pta.add_transition(state, state, 'getEnergy') + pta.set_random_energy_model() if 'accounting' in opt: |