Searched refs:DEFAULT_IDL_ASTACK_SIZE (Results 1 – 2 of 2) sorted by relevance
278 #define DEFAULT_IDL_ASTACK_SIZE 100 macro
2798 init_idl_astack(&solver->astack, DEFAULT_IDL_ASTACK_SIZE); in init_idl_solver()