// File: /workspace/github_cpp_makefile_star2_O3/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 0x1681(%rip), %rsi      # 0xee80
movq %rsp, %rbx
movq %rbx, %rdi
movl $0x10, %edx
callq 0x21b0
leaq 0x16ab(%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 -0x1154(%rip), %rdi     # 0xc706
movsd 0x160e(%rip), %xmm0     # 0xee70
xorl %esi, %esi
callq 0xd1b9
leaq -0x116a(%rip), %rdi     # 0xc706
movsd 0x15f8(%rip), %xmm0     # 0xee70
movl $0x1, %esi
callq 0xd1b9
leaq 0x15f7(%rip), %rsi      # 0xee80
movq %rsp, %rdi
movl $0x1, %edx
callq 0x2050
leaq 0x1631(%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 -0x5ae7(%rip), %rdi     # 0x7dfd
movsd 0x1584(%rip), %xmm0     # 0xee70
xorl %esi, %esi
callq 0xd1b9
leaq -0x5afd(%rip), %rdi     # 0x7dfd
movsd 0x1576(%rip), %xmm0     # 0xee78
xorl %esi, %esi
callq 0xd1b9
leaq -0x5b13(%rip), %rdi     # 0x7dfd
movsd 0x1558(%rip), %xmm0     # 0xee70
movl $0x1, %esi
callq 0xd1b9
leaq -0x5b2c(%rip), %rdi     # 0x7dfd
movsd 0x1547(%rip), %xmm0     # 0xee78
movl $0x1, %esi
callq 0xd1b9
leaq 0x153e(%rip), %rsi      # 0xee80
movq %rsp, %rdi
movl $0x1, %edx
callq 0x2050
leaq 0x1583(%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 -0x7339(%rip), %rdi     # 0x6664
movsd 0x14cb(%rip), %xmm0     # 0xee70
xorl %esi, %esi
callq 0xd1b9
leaq -0xa416(%rip), %rdi     # 0x359d
movsd 0x14b5(%rip), %xmm0     # 0xee70
xorl %esi, %esi
callq 0xd1b9
leaq -0x7365(%rip), %rdi     # 0x6664
movsd 0x14a7(%rip), %xmm0     # 0xee78
xorl %esi, %esi
callq 0xd1b9
leaq -0x737b(%rip), %rdi     # 0x6664
movsd 0x1491(%rip), %xmm0     # 0xee78
movl $0x1, %esi
callq 0xd1b9
movq %rsp, %rdi
callq 0x2210
movq 0x55c8(%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