pub const DEFAULT_SIZE: usize = _; // 1_073_741_824usize
Expand description

The default shared memory size used by the concolic tracing.

This amounts to 1GiB of memory, which is considered to be enough for any reasonable trace. It is also assumed that the memory will not be physically mapped until accessed, alleviating resource concerns.