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);
}
