Spicy
hilti
rt
ResourceUsage
Public Attributes
|
List of all members
hilti::rt::ResourceUsage Struct Reference
#include <
util.h
>
Public Attributes
double
user_time
double
system_time
uint64_t
memory_heap
uint64_t
num_fibers
uint64_t
max_fibers
uint64_t
cached_fibers
Detailed Description
Statistics about resource usage.
The documentation for this struct was generated from the following file:
/home/docs/checkouts/readthedocs.org/user_builds/spicy-docs/checkouts/v1.2.1/hilti/runtime/include/
util.h
Generated by
1.8.13