From 830705b59483181eb5577173318c2df6255518af Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Wed, 14 Aug 2019 15:03:28 +0200
Subject: add support for a posteriori parameters (e.g. TX success / retry
 count)

---
 bin/generate-dfa-benchmark.py | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'bin')

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:
-- 
cgit v1.2.3