// File: /workspace/github_cpp_makefile_star2_O3/xx01cyx[P]LSM-Tree/correctness.cc
// Function: main
int main(int argc, char *argv[])
{
	bool verbose = (argc == 2 && std::string(argv[1]) == "-v");

	std::cout << "Usage: " << argv[0] << " [-v]" << std::endl;
	std::cout << "  -v: print extra info for failed tests [currently ";
	std::cout << (verbose ? "ON" : "OFF")<< "]" << std::endl;
	std::cout << std::endl;
	std::cout.flush();

	CorrectnessTest test("./data", verbose);

	test.start_test();

	return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0xc0, %rsp
movq %rsi, %r14
cmpl $0x2, %edi
jne 0x3878
movq 0x8(%r14), %rsi
leaq 0x20(%rsp), %rbx
movq %rsp, %rdx
movq %rbx, %rdi
callq 0x3a9c
leaq 0xc7f2(%rip), %rsi      # 0x10040
movq %rbx, %rdi
callq 0x30a0
testl %eax, %eax
sete %bpl
movq (%rbx), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x387a
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x387a
xorl %ebp, %ebp
movq 0x1274f(%rip), %rbx     # 0x15fd0
leaq 0xc7bb(%rip), %rsi      # 0x10043
movl $0x7, %edx
movq %rbx, %rdi
callq 0x32b0
movq (%r14), %r14
testq %r14, %r14
je 0x38b9
movq %r14, %rdi
callq 0x3110
movq 0x12724(%rip), %rdi     # 0x15fd0
movq %r14, %rsi
movq %rax, %rdx
callq 0x32b0
jmp 0x38d0
movq (%rbx), %rax
movq -0x18(%rax), %rax
leaq (%rbx,%rax), %rdi
movl 0x20(%rbx,%rax), %esi
orl $0x1, %esi
callq 0x3430
leaq 0xc774(%rip), %rsi      # 0x1004b
movl $0x5, %edx
movq %rbx, %rdi
callq 0x32b0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31a0
leaq 0xc73f(%rip), %rsi      # 0x10051
movl $0x33, %edx
movq %rbx, %rdi
callq 0x32b0
leaq 0xc75f(%rip), %rax      # 0x10085
leaq 0xc75b(%rip), %rsi      # 0x10088
testb %bpl, %bpl
cmovneq %rax, %rsi
movzbl %bpl, %edx
xorq $0x3, %rdx
movq %rbx, %rdi
callq 0x32b0
leaq 0xc7dd(%rip), %rsi      # 0x10128
movl $0x1, %edx
movq %rbx, %rdi
callq 0x32b0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31a0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31a0
movq %rbx, %rdi
callq 0x31a0
leaq 0x10(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0xc6cd(%rip), %rsi      # 0x1008c
leaq 0xc6cc(%rip), %rdx      # 0x10092
movq %rsp, %rdi
callq 0x5648
leaq 0x12243(%rip), %r15     # 0x15c18
leaq 0x48(%rsp), %rbx
movq %r15, -0x28(%rbx)
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x836c
movb %bpl, 0xa8(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rsp)
movups %xmm0, 0x38(%rsp)
leaq 0x121d3(%rip), %rax     # 0x15bd8
movq %rax, 0x20(%rsp)
movq $0x200, 0xb0(%rsp) # imm = 0x200
movq $0x10000, 0xb8(%rsp) # imm = 0x10000
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x3a38
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x20(%rsp), %rdi
xorl %esi, %esi
callq 0x3ada
movq %r15, 0x20(%rsp)
movq %rbx, %rdi
callq 0x9200
xorl %eax, %eax
addq $0xc0, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq %r15, 0x20(%rsp)
movq %rbx, %rdi
callq 0x9200
jmp 0x3a93
movq %rax, %r14
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x3a93
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x3a93
movq %rax, %r14
movq %r14, %rdi
callq 0x3460
nop