diff options
author | Daniel Schemmel <daniel@schemmel.net> | 2023-07-05 14:11:42 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-07-10 16:53:14 +0200 |
commit | 8ad9f2aaf4e9e51c3f8b5e24aec56dae4e49e983 (patch) | |
tree | c4c66f99fd4d506126dd531e0f38baefb92bec3c /unittests/KDAlloc | |
parent | 125fb26ceae09da92d17505071cad881ad31ba88 (diff) | |
download | klee-8ad9f2aaf4e9e51c3f8b5e24aec56dae4e49e983.tar.gz |
remove timings from kdalloc tests
Diffstat (limited to 'unittests/KDAlloc')
-rw-r--r-- | unittests/KDAlloc/randomtest.cpp | 11 | ||||
-rw-r--r-- | unittests/KDAlloc/stacktest.cpp | 11 |
2 files changed, 0 insertions, 22 deletions
diff --git a/unittests/KDAlloc/randomtest.cpp b/unittests/KDAlloc/randomtest.cpp index c926fb84..1216df1a 100644 --- a/unittests/KDAlloc/randomtest.cpp +++ b/unittests/KDAlloc/randomtest.cpp @@ -15,7 +15,6 @@ #endif #include <cassert> -#include <chrono> #include <cmath> #include <cstdint> #include <cstdlib> @@ -126,19 +125,9 @@ public: } // namespace void random_test() { - auto start = std::chrono::steady_clock::now(); - RandomTest tester; tester.run(1'000'000); - auto stop = std::chrono::steady_clock::now(); - std::cout << std::dec - << std::chrono::duration_cast<std::chrono::milliseconds>(stop - - start) - .count() - << " ms\n"; - std::cout << "\n"; - std::cout << "Allocations: " << tester.allocation_count << "\n"; std::cout << "Deallocations: " << tester.deallocation_count << "\n"; std::cout << "Maximum concurrent allocations: " diff --git a/unittests/KDAlloc/stacktest.cpp b/unittests/KDAlloc/stacktest.cpp index e2251b76..614a0379 100644 --- a/unittests/KDAlloc/stacktest.cpp +++ b/unittests/KDAlloc/stacktest.cpp @@ -15,7 +15,6 @@ #endif #include <cassert> -#include <chrono> #include <cmath> #include <cstdint> #include <cstdlib> @@ -111,19 +110,9 @@ public: } // namespace void stack_test() { - auto start = std::chrono::steady_clock::now(); - RandomTest tester; tester.run(10'000'000); - auto stop = std::chrono::steady_clock::now(); - std::cout << std::dec - << std::chrono::duration_cast<std::chrono::milliseconds>(stop - - start) - .count() - << " ms\n"; - std::cout << "\n"; - std::cout << "Allocations: " << tester.allocation_count << "\n"; std::cout << "Deallocations: " << tester.deallocation_count << "\n"; std::cout << "Maximum concurrent allocations: " |