diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-30 18:55:44 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-04 17:54:42 -0500 |
| commit | 00514e3804ebde7053ba095c678625a9035dc5e3 (patch) | |
| tree | c9de4824324698c214dd8dbbdf96b0a426ddb40d /contrib | |
| parent | 55e24949a3464947d098eeeb627049b04a4af4a3 (diff) | |
driver::totalTime statistic is now reported correctly on crashes, too
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions