[issue1138] Raise exception in exit_with() to ensure that destructors are called upon program exit. #1472
Job | Run time |
---|---|
8m 18s | |
6m 53s | |
7m 17s | |
9m 38s | |
7m 10s | |
1m 7s | |
1m 12s | |
41m 35s |
Job | Run time |
---|---|
8m 18s | |
6m 53s | |
7m 17s | |
9m 38s | |
7m 10s | |
1m 7s | |
1m 12s | |
41m 35s |