int main () { int n = __VERIFIER_nondet_int(); node_t* head = init_cll(n); search(head, __VERIFIER_nondet_int() % n); return 0; }
void test10(void) { list test_list = NULL; printf("Testing story 10: print_cll\n"); printf("Starting with empty list: "); print_cll(test_list); printf("Initializing to (1, 3, 5): "); test_list = init_cll(test_list); print_cll(test_list); }
void test12(void) { list test_list = NULL; printf("Testing story 12: delete_cll\n"); test_list = init_cll(test_list); printf("Starting with empty list: "); print_cll(test_list); test_list = delete_cll(test_list, 0); printf("Deleted 3: "); print_cll(test_list); test_list = delete_cll(test_list, 2); printf("Deleted 2: "); print_cll(test_list); test_list = delete_cll(test_list, 1); printf("Deleted 1: "); print_cll(test_list); test_list = delete_cll(test_list, 0); printf("Deleted 0: "); print_cll(test_list); }
void test11(void) { list test_list = NULL; printf("Testing story 11: add_cll\n"); printf("Starting with empty list: "); print_cll(test_list); test_list = add_cll(test_list, 3); printf("Added 3: "); print_cll(test_list); test_list = add_cll(test_list, 2); printf("Added 2: "); print_cll(test_list); test_list = add_cll(test_list, 1); printf("Added 1: "); print_cll(test_list); test_list = init_cll(NULL); printf("Initializing cll to (1, 3, 5): "); print_cll(test_list); test_list = add_cll(test_list, 3); printf("Added 3: "); print_cll(test_list); }