// File: /workspace/github_cpp_makefile_star2_O1/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 $0xf0, %rsp
movq %rsi, %r14
movl %edi, %ebx
cmpl $0x2, %edi
jne 0x3872
movq 0x8(%r14), %rsi
leaq 0x30(%rsp), %r15
leaq 0xf(%rsp), %rdx
movq %r15, %rdi
callq 0x3abc
leaq 0xc7be(%rip), %rsi      # 0x10020
movq %r15, %rdi
callq 0x30a0
testl %eax, %eax
sete %bpl
jmp 0x3874
xorl %ebp, %ebp
cmpl $0x2, %ebx
jne 0x3894
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3894
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x12735(%rip), %rbx     # 0x15fd0
leaq 0xc781(%rip), %rsi      # 0x10023
movl $0x7, %edx
movq %rbx, %rdi
callq 0x32b0
movq (%r14), %r14
testq %r14, %r14
je 0x38d3
movq %r14, %rdi
callq 0x3110
movq 0x1270a(%rip), %rdi     # 0x15fd0
movq %r14, %rsi
movq %rax, %rdx
callq 0x32b0
jmp 0x38ea
movq (%rbx), %rax
movq -0x18(%rax), %rax
leaq (%rbx,%rax), %rdi
movl 0x20(%rbx,%rax), %esi
orl $0x1, %esi
callq 0x3430
leaq 0xc73a(%rip), %rsi      # 0x1002b
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 0xc705(%rip), %rsi      # 0x10031
movl $0x33, %edx
movq %rbx, %rdi
callq 0x32b0
leaq 0xc725(%rip), %rax      # 0x10065
leaq 0xc721(%rip), %rsi      # 0x10068
testb %bpl, %bpl
cmovneq %rax, %rsi
movzbl %bpl, %edx
xorq $0x3, %rdx
movq %rbx, %rdi
callq 0x32b0
leaq 0xc7a3(%rip), %rsi      # 0x10108
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 0x20(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0xc693(%rip), %rsi      # 0x1006c
leaq 0xc692(%rip), %rdx      # 0x10072
leaq 0x10(%rsp), %rdi
callq 0x561a
leaq 0x121ef(%rip), %r15     # 0x15be0
leaq 0x78(%rsp), %rbx
movq %r15, -0x28(%rbx)
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x84a0
movb %bpl, 0xd8(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, 0x58(%rsp)
movups %xmm0, 0x68(%rsp)
leaq 0x1217d(%rip), %rax     # 0x15ba0
movq %rax, 0x50(%rsp)
movq $0x200, 0xe0(%rsp) # imm = 0x200
movq $0x10000, 0xe8(%rsp) # imm = 0x10000
movq 0x10(%rsp), %rdi
cmpq %r12, %rdi
je 0x3a57
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x50(%rsp), %rdi
xorl %esi, %esi
callq 0x3afa
movq %r15, 0x50(%rsp)
movq %rbx, %rdi
callq 0x933a
xorl %eax, %eax
addq $0xf0, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq %r15, 0x50(%rsp)
movq %rbx, %rdi
callq 0x933a
jmp 0x3ab3
movq %rax, %r14
movq 0x10(%rsp), %rdi
cmpq %r12, %rdi
je 0x3ab3
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x3ab3
movq %rax, %r14
movq %r14, %rdi
callq 0x3460
nop