// File: /workspace/github_cpp_makefile_star2_O1/PeterDenton[P]Nu-Pert/src/Verify.cpp
// Function: main
int main()
{
//	set_Progress_Bar_visibility(true);

	std::ofstream out_file("data/Precision_Scan.txt", std::fstream::out);
	out_file << "Tilde basis:" << std::endl;
	out_file.close();
	Verify::Precision_Scan(&Tilde::Palphabeta, 0, 1e-2);
	Verify::Precision_Scan(&Tilde::Palphabeta, 1, 1e-2);

	out_file.open("data/Precision_Scan.txt", std::fstream::app);
	out_file << "Hat basis:" << std::endl;
	out_file.close();
	Verify::Precision_Scan(&Hat::Palphabeta, 0, 1e-2);
	Verify::Precision_Scan(&Hat::Palphabeta, 0, 1e-3);
	Verify::Precision_Scan(&Hat::Palphabeta, 1, 1e-2);
	Verify::Precision_Scan(&Hat::Palphabeta, 1, 1e-3);

	out_file.open("data/Precision_Scan.txt", std::fstream::app);
	out_file << "Check basis (GF):" << std::endl;
	out_file.close();
	Verify::Precision_Scan(&GF::Palphabeta, 0, 1e-2);
	Verify::Precision_Scan(&Check::Palphabeta, 0, 1e-2);
	Verify::Precision_Scan(&GF::Palphabeta, 0, 1e-3);
	Verify::Precision_Scan(&GF::Palphabeta, 1, 1e-3);

	out_file.close();
	return 0;
}

// Assembly:
pushq %rbx
subq $0x200, %rsp            # imm = 0x200
leaq 0x12f1(%rip), %rsi      # 0xee80
movq %rsp, %rbx
movq %rbx, %rdi
movl $0x10, %edx
callq 0x21b0
leaq 0x131b(%rip), %rsi      # 0xeec1
movl $0xc, %edx
movq %rbx, %rdi
callq 0x21c0
movq (%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %esi
movq %rsp, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2100
movq %rsp, %rdi
callq 0x2210
leaq -0x1160(%rip), %rdi     # 0xca8a
movsd 0x127e(%rip), %xmm0     # 0xee70
xorl %esi, %esi
callq 0xd535
leaq -0x1176(%rip), %rdi     # 0xca8a
movsd 0x1268(%rip), %xmm0     # 0xee70
movl $0x1, %esi
callq 0xd535
leaq 0x1267(%rip), %rsi      # 0xee80
movq %rsp, %rdi
movl $0x1, %edx
callq 0x2050
leaq 0x12a1(%rip), %rsi      # 0xeece
movq %rsp, %rbx
movl $0xa, %edx
movq %rbx, %rdi
callq 0x21c0
movq (%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %esi
movq %rsp, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2100
movq %rsp, %rdi
callq 0x2210
leaq -0x5e4b(%rip), %rdi     # 0x7e29
movsd 0x11f4(%rip), %xmm0     # 0xee70
xorl %esi, %esi
callq 0xd535
leaq -0x5e61(%rip), %rdi     # 0x7e29
movsd 0x11e6(%rip), %xmm0     # 0xee78
xorl %esi, %esi
callq 0xd535
leaq -0x5e77(%rip), %rdi     # 0x7e29
movsd 0x11c8(%rip), %xmm0     # 0xee70
movl $0x1, %esi
callq 0xd535
leaq -0x5e90(%rip), %rdi     # 0x7e29
movsd 0x11b7(%rip), %xmm0     # 0xee78
movl $0x1, %esi
callq 0xd535
leaq 0x11ae(%rip), %rsi      # 0xee80
movq %rsp, %rdi
movl $0x1, %edx
callq 0x2050
leaq 0x11f3(%rip), %rsi      # 0xeed9
movq %rsp, %rbx
movl $0x11, %edx
movq %rbx, %rdi
callq 0x21c0
movq (%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %esi
movq %rsp, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2100
movq %rsp, %rdi
callq 0x2210
leaq -0x769d(%rip), %rdi     # 0x6690
movsd 0x113b(%rip), %xmm0     # 0xee70
xorl %esi, %esi
callq 0xd535
leaq -0xa77b(%rip), %rdi     # 0x35c8
movsd 0x1125(%rip), %xmm0     # 0xee70
xorl %esi, %esi
callq 0xd535
leaq -0x76c9(%rip), %rdi     # 0x6690
movsd 0x1117(%rip), %xmm0     # 0xee78
xorl %esi, %esi
callq 0xd535
leaq -0x76df(%rip), %rdi     # 0x6690
movsd 0x1101(%rip), %xmm0     # 0xee78
movl $0x1, %esi
callq 0xd535
movq %rsp, %rdi
callq 0x2210
movq 0x5238(%rip), %rax      # 0x12fc8
movq (%rax), %rcx
movq 0x18(%rax), %rax
leaq 0x8(%rsp), %rdi
movq %rcx, -0x8(%rdi)
movq -0x18(%rcx), %rcx
movq %rax, (%rsp,%rcx)
callq 0x2150
leaq 0xf8(%rsp), %rdi
callq 0x20a0
xorl %eax, %eax
addq $0x200, %rsp            # imm = 0x200
popq %rbx
retq
movq %rax, %rbx
movq %rsp, %rdi
callq 0x2220
movq %rbx, %rdi
callq 0x22a0