Exit with failure if not enough resources are found

Change-Id: I9e38435ff71416585a259c823053bd07c670d495
This commit is contained in:
Pau Espin 2017-05-23 17:18:29 +02:00 committed by Neels Hofmeyr
parent d1f8fe689e
commit 98df394fc6
1 changed files with 1 additions and 0 deletions

View File

@ -198,6 +198,7 @@ optional.''')
trials_run.append(current_trial)
except Exception:
# Do not catch here subclasses of BaseException such as SystemExit, let them finish the program
any_failed = True
current_trial.log_exn()
sys.stderr.flush()