diff options
| author | Emil Rakadjiev <emil.rakadjiev.bf@hitachi.com> | 2015-03-09 18:52:11 +0900 |
|---|---|---|
| committer | Emil Rakadjiev <emil.rakadjiev.bf@hitachi.com> | 2015-03-13 11:37:37 +0900 |
| commit | 78946863d6d44475bb3363e07587fedb053d65d5 (patch) | |
| tree | 6c2ce971840fad337f5107364381298054c999ec /LICENSE.TXT | |
| parent | d9b5b92cb1627edce7d476f8fd4328f5ee6f3bc8 (diff) | |
| download | klee-78946863d6d44475bb3363e07587fedb053d65d5.tar.gz | |
Timestamp improvements.
Replaced inefficient llvm::sys::Process::GetTimeUsage() with TimeValue::now(), because in many cases only the wall clock time is needed, not the user and sys times (which are significantly more expensive to get). Updated TimingSolver and WallTimer accordingly.
Diffstat (limited to 'LICENSE.TXT')
0 files changed, 0 insertions, 0 deletions