// File: /workspace/github_c_makefile_star2_O2/chatziko-k08[P]lecture-code/tests/ADTSet_test.c
// Function: test_remove
void test_remove(void) {

	Set set = set_create(compare_ints, free);

	int N = 1000;

	int** value_array = malloc(N * sizeof(*value_array));

	for (int i = 0; i < N; i++)
		value_array[i] = create_int(i);

	// Ανακατεύουμε το value_array ώστε να υπάρχει ομοιόμορφη εισαγωγή τιμών
	// Πχ εάν εισάγουμε δείκτες με αύξουσα σειρά τιμών, τότε εάν το Set υλοποιείται με BST,
	// οι κόμβοι θα προστίθενται μόνο δεξιά της ρίζας, άρα και η set_remove δεν θα δοκιμάζεται πλήρως
	shuffle(value_array, N);

	for (int i = 0; i < N; i++)
		set_insert(set, value_array[i]);

	// Δοκιμάζουμε, πριν διαγράψουμε κανονικά τους κόμβους, ότι η set_remove
	// διαχειρίζεται σωστά μια τιμή που δεν υπάρχει στο Set
	int not_exists = 2000;
	TEST_ASSERT(!set_remove(set, &not_exists));

	// Διαγράφουμε όλους τους κόμβους
	for (int i = 0; i < N; i++) {
		TEST_ASSERT(set_remove(set, value_array[i]));
		TEST_ASSERT(set_is_proper(set));
	}

	set_destroy(set);

	// Δοκιμάζουμε τη remove χωρίς αυτόματο free
	Set set2 = set_create(compare_ints, NULL);
	
	int local_value1 = 0;

	insert_and_test(set2, &local_value1);
	TEST_ASSERT(set_remove(set2, &local_value1));
	TEST_ASSERT(set_is_proper(set2));
	TEST_ASSERT(set_size(set2) == 0);
	
	set_destroy(set2);
	free(value_array);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
leaq -0x2c6(%rip), %rdi      # 0x3a80
movq 0x6273(%rip), %rsi      # 0x9fc0
callq 0x4b08
movq %rax, %r14
movl $0x1f40, %edi           # imm = 0x1F40
callq 0x21a0
movq %rax, %rbx
xorl %r15d, %r15d
cmpq $0x3e8, %r15            # imm = 0x3E8
je 0x3d7f
movl %r15d, %edi
callq 0x3a71
movq %rax, (%rbx,%r15,8)
incq %r15
jmp 0x3d65
movq %rbx, %rdi
movl $0x3e8, %esi            # imm = 0x3E8
callq 0x3b0c
xorl %r15d, %r15d
cmpq $0x3e8, %r15            # imm = 0x3E8
je 0x3da9
movq (%rbx,%r15,8), %rsi
movq %r14, %rdi
callq 0x4dc8
incq %r15
jmp 0x3d8f
leaq 0x4(%rsp), %rsi
movl $0x7d0, (%rsi)          # imm = 0x7D0
movq %r14, %rdi
callq 0x4bb7
xorb $0x1, %al
movzbl %al, %edi
leaq 0x2550(%rip), %rsi      # 0x6318
leaq 0x28bc(%rip), %rcx      # 0x668b
leaq 0x25ce(%rip), %r8       # 0x63a4
movl $0x86, %edx
xorl %eax, %eax
callq 0x239c
testl %eax, %eax
je 0x3e5a
leaq 0x252b(%rip), %r15      # 0x6318
leaq 0x2897(%rip), %r12      # 0x668b
leaq 0x252b(%rip), %rbp      # 0x6326
xorl %r13d, %r13d
cmpq $0x3e8, %r13            # imm = 0x3E8
je 0x3e5f
movq (%rbx,%r13,8), %rsi
movq %r14, %rdi
callq 0x4bb7
movzbl %al, %edi
movq %r15, %rsi
movl $0x8a, %edx
movq %r12, %rcx
leaq 0x259a(%rip), %r8       # 0x63c2
xorl %eax, %eax
callq 0x239c
testl %eax, %eax
je 0x3e5a
movq %r14, %rdi
callq 0x51a4
movzbl %al, %edi
movq %r15, %rsi
movl $0x8b, %edx
movq %r12, %rcx
movq %rbp, %r8
xorl %eax, %eax
callq 0x239c
incq %r13
testl %eax, %eax
jne 0x3dfe
callq 0x2bc0
movq %r14, %rdi
callq 0x4ce1
leaq -0x3ee(%rip), %rdi      # 0x3a80
xorl %esi, %esi
callq 0x4b08
movq %rax, %r14
movq %rsp, %r15
andl $0x0, (%r15)
movq %rax, %rdi
movq %r15, %rsi
callq 0x3a85
movq %r14, %rdi
movq %r15, %rsi
callq 0x4bb7
movzbl %al, %edi
leaq 0x2479(%rip), %rsi      # 0x6318
leaq 0x27e5(%rip), %rcx      # 0x668b
leaq 0x2535(%rip), %r8       # 0x63e2
movl $0x96, %edx
xorl %eax, %eax
callq 0x239c
testl %eax, %eax
je 0x3e5a
movq %r14, %rdi
callq 0x51a4
movzbl %al, %edi
leaq 0x2449(%rip), %rsi      # 0x6318
leaq 0x27b5(%rip), %rcx      # 0x668b
leaq 0x2525(%rip), %r8       # 0x6402
movl $0x97, %edx
xorl %eax, %eax
callq 0x239c
testl %eax, %eax
je 0x3e5a
movq %r14, %rdi
callq 0x4b56
xorl %edi, %edi
testl %eax, %eax
sete %dil
leaq 0x2410(%rip), %rsi      # 0x6318
leaq 0x277c(%rip), %rcx      # 0x668b
leaq 0x2500(%rip), %r8       # 0x6416
movl $0x98, %edx
xorl %eax, %eax
callq 0x239c
testl %eax, %eax
je 0x3e5a
movq %r14, %rdi
callq 0x4ce1
movq %rbx, %rdi
callq 0x22a0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq