Searched defs:heap_size (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/bin/ | ||
H A D | wrapper.c | 138 long heap_size = 1; // million cons-cells that fit into the heap local [all...] |
Completed in 13 milliseconds