Home
last modified time | relevance | path

Searched refs:DEFAULT_AUX_SIZE (Results 1 – 2 of 2) sorted by relevance

/dports/math/yices/yices-2.6.2/src/parser_utils/
H A Dterm_stack2.h311 #define DEFAULT_AUX_SIZE 256 macro
H A Dterm_stack2.c192 stack->aux_buffer = (int32_t *) safe_malloc(DEFAULT_AUX_SIZE * sizeof(int32_t)); in alloc_tstack()
193 stack->aux_size = DEFAULT_AUX_SIZE; in alloc_tstack()