diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 9c783b7..7f67e1b 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -173,15 +173,18 @@ def run_benchmark(application_file: str, pta: PTA, runs: list, arch: str, app: s run_timeout *= repeat needs_split = False - try: - runner.build(arch, app, run_args) - except RuntimeError: - if len(runs) > 50: - # Application is too large -> split up runs - needs_split = True - else: - # Unknown error - raise + if len(runs) > 1000: + needs_split = True + else: + try: + runner.build(arch, app, run_args) + except RuntimeError: + if len(runs) > 50: + # Application is too large -> split up runs + needs_split = True + else: + # Unknown error + raise # This has been deliberately taken out of the except clause to avoid nested exception handlers # (they lead to pretty interesting tracebacks which are probably more confusing than helpful) |