// File: aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: comparison_operators::less_or_equal::test_method()
BOOST_AUTO_TEST_CASE(less_or_equal) {
		RealNumber big_num_rn_again(big_num_str);
		BOOST_CHECK(small_num_rn <= one_rn);
		BOOST_CHECK(small_num_rn <= big_num_rn);
		BOOST_CHECK(one_rn <= one_rn);
		BOOST_CHECK(big_num_rn_again <= big_num_rn);
		BOOST_CHECK(!(two_rn <= one_rn));
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x330, %rsp            # imm = 0x330
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rsi
movq %rsi, -0x280(%rbp)
addq $0x60, %rsi
leaq -0x10(%rbp), %rdi
callq 0x19420
movq 0x176ca(%rip), %rax     # 0x24298
movq %rax, -0x288(%rbp)
leaq 0xf428(%rip), %rsi      # 0x1c004
leaq -0x20(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xcbec
leaq -0x40(%rbp), %rdi
callq 0x15db0
jmp 0xcbf7
movq -0x288(%rbp), %rdi
leaq -0x20(%rbp), %rsi
movl $0x98, %edx
leaq -0x40(%rbp), %rcx
callq 0x3470
jmp 0xcc12
movq -0x280(%rbp), %rsi
movq %rsi, %rdi
addq $0x120, %rdi            # imm = 0x120
addq $0x108, %rsi            # imm = 0x108
callq 0x19be0
movb %al, -0x289(%rbp)
jmp 0xcc37
movb -0x289(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x58(%rbp), %rdi
callq 0x162c0
jmp 0xcc4e
callq 0x16040
movq %rax, -0x298(%rbp)
jmp 0xcc5c
leaq 0xf8e6(%rip), %rsi      # 0x1c549
leaq -0x88(%rbp), %rdi
movl $0x16, %edx
callq 0x15d80
jmp 0xcc76
movq -0x298(%rbp), %rsi
leaq -0x78(%rbp), %rdi
leaq -0x88(%rbp), %rdx
callq 0x16300
jmp 0xcc8f
leaq 0xf36e(%rip), %rsi      # 0x1c004
leaq -0x98(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xcca9
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x58(%rbp), %rdi
leaq -0x78(%rbp), %rsi
leaq -0x98(%rbp), %rdx
movl $0x98, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xccda
leaq -0x78(%rbp), %rdi
callq 0x16340
leaq -0x58(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x299(%rbp)
jmp 0xccf9
movb -0x299(%rbp), %al
testb $0x1, %al
jne 0xcbc7
jmp 0xcd09
jmp 0xcd0b
movq 0x17586(%rip), %rax     # 0x24298
movq %rax, -0x2a8(%rbp)
leaq 0xf2e4(%rip), %rsi      # 0x1c004
leaq -0xa8(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xcd33
leaq -0xb8(%rbp), %rdi
callq 0x15db0
jmp 0xcd41
movq -0x2a8(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
movl $0x99, %edx
leaq -0xb8(%rbp), %rcx
callq 0x3470
jmp 0xcd62
movq -0x280(%rbp), %rsi
movq %rsi, %rdi
addq $0x120, %rdi            # imm = 0x120
addq $0x118, %rsi            # imm = 0x118
callq 0x19be0
movb %al, -0x2a9(%rbp)
jmp 0xcd87
movb -0x2a9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xd0(%rbp), %rdi
callq 0x162c0
jmp 0xcda1
callq 0x16040
movq %rax, -0x2b8(%rbp)
jmp 0xcdaf
leaq 0xf7aa(%rip), %rsi      # 0x1c560
leaq -0x100(%rbp), %rdi
movl $0x1a, %edx
callq 0x15d80
jmp 0xcdc9
movq -0x2b8(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
leaq -0x100(%rbp), %rdx
callq 0x16300
jmp 0xcde5
leaq 0xf218(%rip), %rsi      # 0x1c004
leaq -0x110(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xcdff
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0xd0(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
leaq -0x110(%rbp), %rdx
movl $0x99, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xce36
leaq -0xf0(%rbp), %rdi
callq 0x16340
leaq -0xd0(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x2b9(%rbp)
jmp 0xce5b
movb -0x2b9(%rbp), %al
testb $0x1, %al
jne 0xcd0b
jmp 0xce6b
jmp 0xce6d
movq 0x17424(%rip), %rax     # 0x24298
movq %rax, -0x2c8(%rbp)
leaq 0xf182(%rip), %rsi      # 0x1c004
leaq -0x120(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xce95
leaq -0x130(%rbp), %rdi
callq 0x15db0
jmp 0xcea3
movq -0x2c8(%rbp), %rdi
leaq -0x120(%rbp), %rsi
movl $0x9a, %edx
leaq -0x130(%rbp), %rcx
callq 0x3470
jmp 0xcec4
movq -0x280(%rbp), %rsi
addq $0x108, %rsi            # imm = 0x108
movq %rsi, %rdi
callq 0x19be0
movb %al, -0x2c9(%rbp)
jmp 0xcee2
movb -0x2c9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x148(%rbp), %rdi
callq 0x162c0
jmp 0xcefc
callq 0x16040
movq %rax, -0x2d8(%rbp)
jmp 0xcf0a
leaq 0xf66a(%rip), %rsi      # 0x1c57b
leaq -0x178(%rbp), %rdi
movl $0x10, %edx
callq 0x15d80
jmp 0xcf24
movq -0x2d8(%rbp), %rsi
leaq -0x168(%rbp), %rdi
leaq -0x178(%rbp), %rdx
callq 0x16300
jmp 0xcf40
leaq 0xf0bd(%rip), %rsi      # 0x1c004
leaq -0x188(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xcf5a
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x148(%rbp), %rdi
leaq -0x168(%rbp), %rsi
leaq -0x188(%rbp), %rdx
movl $0x9a, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xcf91
leaq -0x168(%rbp), %rdi
callq 0x16340
leaq -0x148(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x2d9(%rbp)
jmp 0xcfb6
movb -0x2d9(%rbp), %al
testb $0x1, %al
jne 0xce6d
jmp 0xcfc6
jmp 0xcfc8
movq 0x172c9(%rip), %rax     # 0x24298
movq %rax, -0x2e8(%rbp)
leaq 0xf027(%rip), %rsi      # 0x1c004
leaq -0x198(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xcff0
leaq -0x1a8(%rbp), %rdi
callq 0x15db0
jmp 0xcffe
movq -0x2e8(%rbp), %rdi
leaq -0x198(%rbp), %rsi
movl $0x9b, %edx
leaq -0x1a8(%rbp), %rcx
callq 0x3470
jmp 0xd01f
movq -0x280(%rbp), %rsi
addq $0x118, %rsi            # imm = 0x118
leaq -0x10(%rbp), %rdi
callq 0x19be0
movb %al, -0x2e9(%rbp)
jmp 0xd03e
movb -0x2e9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x1c0(%rbp), %rdi
callq 0x162c0
jmp 0xd058
callq 0x16040
movq %rax, -0x2f8(%rbp)
jmp 0xd066
leaq 0xf51f(%rip), %rsi      # 0x1c58c
leaq -0x1f0(%rbp), %rdi
movl $0x1e, %edx
callq 0x15d80
jmp 0xd080
movq -0x2f8(%rbp), %rsi
leaq -0x1e0(%rbp), %rdi
leaq -0x1f0(%rbp), %rdx
callq 0x16300
jmp 0xd09c
leaq 0xef61(%rip), %rsi      # 0x1c004
leaq -0x200(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xd0b6
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x1c0(%rbp), %rdi
leaq -0x1e0(%rbp), %rsi
leaq -0x200(%rbp), %rdx
movl $0x9b, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xd0ed
leaq -0x1e0(%rbp), %rdi
callq 0x16340
leaq -0x1c0(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x2f9(%rbp)
jmp 0xd112
movb -0x2f9(%rbp), %al
testb $0x1, %al
jne 0xcfc8
jmp 0xd122
jmp 0xd124
movq 0x1716d(%rip), %rax     # 0x24298
movq %rax, -0x308(%rbp)
leaq 0xeecb(%rip), %rsi      # 0x1c004
leaq -0x210(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xd14c
leaq -0x220(%rbp), %rdi
callq 0x15db0
jmp 0xd15a
movq -0x308(%rbp), %rdi
leaq -0x210(%rbp), %rsi
movl $0x9c, %edx
leaq -0x220(%rbp), %rcx
callq 0x3470
jmp 0xd17b
movq -0x280(%rbp), %rsi
movq %rsi, %rdi
addq $0x110, %rdi            # imm = 0x110
addq $0x108, %rsi            # imm = 0x108
callq 0x19be0
movb %al, -0x309(%rbp)
jmp 0xd1a0
movb -0x309(%rbp), %al
notb %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x238(%rbp), %rdi
callq 0x162c0
jmp 0xd1bc
callq 0x16040
movq %rax, -0x318(%rbp)
jmp 0xd1ca
leaq 0xf3da(%rip), %rsi      # 0x1c5ab
leaq -0x268(%rbp), %rdi
movl $0x13, %edx
callq 0x15d80
jmp 0xd1e4
movq -0x318(%rbp), %rsi
leaq -0x258(%rbp), %rdi
leaq -0x268(%rbp), %rdx
callq 0x16300
jmp 0xd200
leaq 0xedfd(%rip), %rsi      # 0x1c004
leaq -0x278(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xd21a
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x238(%rbp), %rdi
leaq -0x258(%rbp), %rsi
leaq -0x278(%rbp), %rdx
movl $0x9c, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xd251
leaq -0x258(%rbp), %rdi
callq 0x16340
leaq -0x238(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x319(%rbp)
jmp 0xd276
movb -0x319(%rbp), %al
testb $0x1, %al
jne 0xd124
jmp 0xd286
leaq -0x10(%rbp), %rdi
callq 0x19730
addq $0x330, %rsp            # imm = 0x330
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xd3ab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xd2cc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x16340
leaq -0x58(%rbp), %rdi
callq 0x16360
jmp 0xd3ab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xd300
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0xf0(%rbp), %rdi
callq 0x16340
leaq -0xd0(%rbp), %rdi
callq 0x16360
jmp 0xd3ab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xd337
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x168(%rbp), %rdi
callq 0x16340
leaq -0x148(%rbp), %rdi
callq 0x16360
jmp 0xd3ab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xd36b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x1e0(%rbp), %rdi
callq 0x16340
leaq -0x1c0(%rbp), %rdi
callq 0x16360
jmp 0xd3ab
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xd39f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x258(%rbp), %rdi
callq 0x16340
leaq -0x238(%rbp), %rdi
callq 0x16360
leaq -0x10(%rbp), %rdi
callq 0x19730
movq -0x28(%rbp), %rdi
callq 0x3420
nopl (%rax)