diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-08-14 15:03:28 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-08-14 15:03:28 +0200 |
| commit | 830705b59483181eb5577173318c2df6255518af (patch) | |
| tree | a20713527b61c213163ef3a325434a8d80b46f21 /bin/generate-dfa-benchmark.py | |
| parent | 680e7498a128c752e6eb43156ee990807c042769 (diff) | |
add support for a posteriori parameters (e.g. TX success / retry count)
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index f728602..4fb8df4 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -149,9 +149,6 @@ def run_benchmark(application_file: str, pta: PTA, runs: list, arch: str, app: s lines = monitor.run(int(run_timeout)) return [(runs, harness, lines)] - # TODO Benchmark bei zu vielen Transitionen in mehrere Programme - # aufteilen und diese nacheinander bis zu X % completion (220%) - # laufen lassen, zwischendurch jeweils automatisch neu bauen etc. try: slept = 0 while repeat == 0 or slept / run_timeout < 1: |