Searched refs:stacktrace_print (Results 1 – 3 of 3) sorted by relevance
30 void stacktrace_print(struct stacktrace *, int (*)(const char *, ...));
249 stacktrace_print(struct stacktrace *st, int (*pr)(const char *, ...)) in stacktrace_print() function
1846 stacktrace_print(&instance->li_stack->ls_stack, prnt); in witness_search() 1897 stacktrace_print(&wlod->wlod_stack, printf);