Searched defs:heap_size (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/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 28 milliseconds