about summary refs log tree commit diff homepage
path: root/include
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2021-12-24 22:55:37 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2022-03-17 11:33:50 +0000
commitcec6d63e04157cffb57b49890230f7c9a9777089 (patch)
tree722c0d54b7278c2125d5dee0c7de1a575409b3cf /include
parente2d005ccdc3eea998d9598907743b19a39a1abe7 (diff)
downloadklee-cec6d63e04157cffb57b49890230f7c9a9777089.tar.gz
Document that GetTotalMallocUsage returns the usage in bytes
Diffstat (limited to 'include')
-rw-r--r--include/klee/System/MemoryUsage.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/include/klee/System/MemoryUsage.h b/include/klee/System/MemoryUsage.h
index c3cf3c74..3fb75db6 100644
--- a/include/klee/System/MemoryUsage.h
+++ b/include/klee/System/MemoryUsage.h
@@ -14,6 +14,7 @@
 
 namespace klee {
   namespace util {
+    /// Get total malloc usage in bytes
     size_t GetTotalMallocUsage();
   }
 }