[issue1138] Raise exception in exit_with() to ensure that destructors are called upon program exit. #1473
Job | Run time |
---|---|
8m 26s | |
7m 7s | |
7m 21s | |
10m 17s | |
7m 26s | |
1m 37s | |
1m 9s | |
43m 23s |
Job | Run time |
---|---|
8m 26s | |
7m 7s | |
7m 21s | |
10m 17s | |
7m 26s | |
1m 37s | |
1m 9s | |
43m 23s |