static struct node* create_shape(void) { struct node *list = NULL; insert_node(&list, 'A'); insert_node(&list, '\0'); insert_node(&list, 'A'); ___sl_enable_debugging_of(___SL_SYMJOIN, /* enable */ true); return list; }
int main() { if (__VERIFIER_nondet_int()) { create_vlist(/* real_nested_list */ true); __VERIFIER_plot(NULL); } else { create_vlist(/* real_nested_list */ false); __VERIFIER_plot(NULL); #if I_WANT_TO_DEBUG_JOIN ___sl_enable_debugging_of(___SL_SYMJOIN, /* enable */ true); ___sl_break("joinSymHeaps() demo"); #endif } __VERIFIER_plot(NULL); return 0; }