// File: aisthesis[P]realnumber/tst/real_number_test.cpp
// Function: comparison_operators::not_equal::test_method()
BOOST_AUTO_TEST_CASE(not_equal) {
		RealNumber big_num_rn_copy(big_num_rn);
		BOOST_CHECK(big_num_rn != two_rn);
		BOOST_CHECK(big_num_rn != small_num_rn);
		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_copy != big_num_rn));
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x3c0, %rsp            # imm = 0x3C0
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rsi
movq %rsi, -0x2f8(%rbp)
addq $0x118, %rsi            # imm = 0x118
leaq -0x10(%rbp), %rdi
callq 0x196c0
movq 0x16857(%rip), %rax     # 0x24298
movq %rax, -0x300(%rbp)
leaq 0xe5b5(%rip), %rsi      # 0x1c004
leaq -0x20(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xda5f
leaq -0x40(%rbp), %rdi
callq 0x15db0
jmp 0xda6a
movq -0x300(%rbp), %rdi
leaq -0x20(%rbp), %rsi
movl $0xa1, %edx
leaq -0x40(%rbp), %rcx
callq 0x3470
jmp 0xda85
movq -0x2f8(%rbp), %rsi
movq %rsi, %rdi
addq $0x118, %rdi            # imm = 0x118
addq $0x110, %rsi            # imm = 0x110
callq 0x19c70
movb %al, -0x301(%rbp)
jmp 0xdaaa
movb -0x301(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x58(%rbp), %rdi
callq 0x162c0
jmp 0xdac1
callq 0x16040
movq %rax, -0x310(%rbp)
jmp 0xdacf
leaq 0xeaf3(%rip), %rsi      # 0x1c5c9
leaq -0x88(%rbp), %rdi
movl $0x14, %edx
callq 0x15d80
jmp 0xdae9
movq -0x310(%rbp), %rsi
leaq -0x78(%rbp), %rdi
leaq -0x88(%rbp), %rdx
callq 0x16300
jmp 0xdb02
leaq 0xe4fb(%rip), %rsi      # 0x1c004
leaq -0x98(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xdb1c
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 $0xa1, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xdb4d
leaq -0x78(%rbp), %rdi
callq 0x16340
leaq -0x58(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x311(%rbp)
jmp 0xdb6c
movb -0x311(%rbp), %al
testb $0x1, %al
jne 0xda3a
jmp 0xdb7c
jmp 0xdb7e
movq 0x16713(%rip), %rax     # 0x24298
movq %rax, -0x320(%rbp)
leaq 0xe471(%rip), %rsi      # 0x1c004
leaq -0xa8(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xdba6
leaq -0xb8(%rbp), %rdi
callq 0x15db0
jmp 0xdbb4
movq -0x320(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
movl $0xa2, %edx
leaq -0xb8(%rbp), %rcx
callq 0x3470
jmp 0xdbd5
movq -0x2f8(%rbp), %rsi
movq %rsi, %rdi
addq $0x118, %rdi            # imm = 0x118
addq $0x120, %rsi            # imm = 0x120
callq 0x19c70
movb %al, -0x321(%rbp)
jmp 0xdbfa
movb -0x321(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xd0(%rbp), %rdi
callq 0x162c0
jmp 0xdc14
callq 0x16040
movq %rax, -0x330(%rbp)
jmp 0xdc22
leaq 0xe9b5(%rip), %rsi      # 0x1c5de
leaq -0x100(%rbp), %rdi
movl $0x1a, %edx
callq 0x15d80
jmp 0xdc3c
movq -0x330(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
leaq -0x100(%rbp), %rdx
callq 0x16300
jmp 0xdc58
leaq 0xe3a5(%rip), %rsi      # 0x1c004
leaq -0x110(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xdc72
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 $0xa2, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xdca9
leaq -0xf0(%rbp), %rdi
callq 0x16340
leaq -0xd0(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x331(%rbp)
jmp 0xdcce
movb -0x331(%rbp), %al
testb $0x1, %al
jne 0xdb7e
jmp 0xdcde
jmp 0xdce0
movq 0x165b1(%rip), %rax     # 0x24298
movq %rax, -0x340(%rbp)
leaq 0xe30f(%rip), %rsi      # 0x1c004
leaq -0x120(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xdd08
leaq -0x130(%rbp), %rdi
callq 0x15db0
jmp 0xdd16
movq -0x340(%rbp), %rdi
leaq -0x120(%rbp), %rsi
movl $0xa3, %edx
leaq -0x130(%rbp), %rcx
callq 0x3470
jmp 0xdd37
movq -0x2f8(%rbp), %rsi
movq %rsi, %rdi
addq $0x120, %rdi            # imm = 0x120
addq $0x108, %rsi            # imm = 0x108
callq 0x19c70
movb %al, -0x341(%rbp)
jmp 0xdd5c
movb -0x341(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x148(%rbp), %rdi
callq 0x162c0
jmp 0xdd76
callq 0x16040
movq %rax, -0x350(%rbp)
jmp 0xdd84
leaq 0xe86e(%rip), %rsi      # 0x1c5f9
leaq -0x178(%rbp), %rdi
movl $0x16, %edx
callq 0x15d80
jmp 0xdd9e
movq -0x350(%rbp), %rsi
leaq -0x168(%rbp), %rdi
leaq -0x178(%rbp), %rdx
callq 0x16300
jmp 0xddba
leaq 0xe243(%rip), %rsi      # 0x1c004
leaq -0x188(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xddd4
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 $0xa3, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xde0b
leaq -0x168(%rbp), %rdi
callq 0x16340
leaq -0x148(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x351(%rbp)
jmp 0xde30
movb -0x351(%rbp), %al
testb $0x1, %al
jne 0xdce0
jmp 0xde40
jmp 0xde42
movq 0x1644f(%rip), %rax     # 0x24298
movq %rax, -0x360(%rbp)
leaq 0xe1ad(%rip), %rsi      # 0x1c004
leaq -0x198(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xde6a
leaq -0x1a8(%rbp), %rdi
callq 0x15db0
jmp 0xde78
movq -0x360(%rbp), %rdi
leaq -0x198(%rbp), %rsi
movl $0xa4, %edx
leaq -0x1a8(%rbp), %rcx
callq 0x3470
jmp 0xde99
movq -0x2f8(%rbp), %rsi
movq %rsi, %rdi
addq $0x120, %rdi            # imm = 0x120
addq $0x118, %rsi            # imm = 0x118
callq 0x19c70
movb %al, -0x361(%rbp)
jmp 0xdebe
movb -0x361(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x1c0(%rbp), %rdi
callq 0x162c0
jmp 0xded8
callq 0x16040
movq %rax, -0x370(%rbp)
jmp 0xdee6
leaq 0xe883(%rip), %rsi      # 0x1c770
leaq -0x1f0(%rbp), %rdi
movl $0x1a, %edx
callq 0x15d80
jmp 0xdf00
movq -0x370(%rbp), %rsi
leaq -0x1e0(%rbp), %rdi
leaq -0x1f0(%rbp), %rdx
callq 0x16300
jmp 0xdf1c
leaq 0xe0e1(%rip), %rsi      # 0x1c004
leaq -0x200(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xdf36
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 $0xa4, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xdf6d
leaq -0x1e0(%rbp), %rdi
callq 0x16340
leaq -0x1c0(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x371(%rbp)
jmp 0xdf92
movb -0x371(%rbp), %al
testb $0x1, %al
jne 0xde42
jmp 0xdfa2
jmp 0xdfa4
movq 0x162ed(%rip), %rax     # 0x24298
movq %rax, -0x380(%rbp)
leaq 0xe04b(%rip), %rsi      # 0x1c004
leaq -0x210(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xdfcc
leaq -0x220(%rbp), %rdi
callq 0x15db0
jmp 0xdfda
movq -0x380(%rbp), %rdi
leaq -0x210(%rbp), %rsi
movl $0xa5, %edx
leaq -0x220(%rbp), %rcx
callq 0x3470
jmp 0xdffb
movq -0x2f8(%rbp), %rsi
addq $0x108, %rsi            # imm = 0x108
movq %rsi, %rdi
callq 0x19c70
movb %al, -0x381(%rbp)
jmp 0xe019
movb -0x381(%rbp), %al
notb %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x238(%rbp), %rdi
callq 0x162c0
jmp 0xe035
callq 0x16040
movq %rax, -0x390(%rbp)
jmp 0xe043
leaq 0xe5c6(%rip), %rsi      # 0x1c610
leaq -0x268(%rbp), %rdi
movl $0x13, %edx
callq 0x15d80
jmp 0xe05d
movq -0x390(%rbp), %rsi
leaq -0x258(%rbp), %rdi
leaq -0x268(%rbp), %rdx
callq 0x16300
jmp 0xe079
leaq 0xdf84(%rip), %rsi      # 0x1c004
leaq -0x278(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xe093
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 $0xa5, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xe0ca
leaq -0x258(%rbp), %rdi
callq 0x16340
leaq -0x238(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x391(%rbp)
jmp 0xe0ef
movb -0x391(%rbp), %al
testb $0x1, %al
jne 0xdfa4
jmp 0xe0ff
jmp 0xe101
movq 0x16190(%rip), %rax     # 0x24298
movq %rax, -0x3a0(%rbp)
leaq 0xdeee(%rip), %rsi      # 0x1c004
leaq -0x288(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xe129
leaq -0x298(%rbp), %rdi
callq 0x15db0
jmp 0xe137
movq -0x3a0(%rbp), %rdi
leaq -0x288(%rbp), %rsi
movl $0xa6, %edx
leaq -0x298(%rbp), %rcx
callq 0x3470
jmp 0xe158
movq -0x2f8(%rbp), %rsi
addq $0x118, %rsi            # imm = 0x118
leaq -0x10(%rbp), %rdi
callq 0x19c70
movb %al, -0x3a1(%rbp)
jmp 0xe177
movb -0x3a1(%rbp), %al
notb %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x2b0(%rbp), %rdi
callq 0x162c0
jmp 0xe193
callq 0x16040
movq %rax, -0x3b0(%rbp)
jmp 0xe1a1
leaq 0xe47c(%rip), %rsi      # 0x1c624
leaq -0x2e0(%rbp), %rdi
movl $0x20, %edx
callq 0x15d80
jmp 0xe1bb
movq -0x3b0(%rbp), %rsi
leaq -0x2d0(%rbp), %rdi
leaq -0x2e0(%rbp), %rdx
callq 0x16300
jmp 0xe1d7
leaq 0xde26(%rip), %rsi      # 0x1c004
leaq -0x2f0(%rbp), %rdi
movl $0x18, %edx
callq 0x15d80
jmp 0xe1f1
movq %rsp, %rax
movq $0x0, (%rax)
xorl %r9d, %r9d
movb %r9b, %al
leaq -0x2b0(%rbp), %rdi
leaq -0x2d0(%rbp), %rsi
leaq -0x2f0(%rbp), %rdx
movl $0xa6, %ecx
movl $0x1, %r8d
callq 0x3460
jmp 0xe228
leaq -0x2d0(%rbp), %rdi
callq 0x16340
leaq -0x2b0(%rbp), %rdi
callq 0x16360
callq 0x16070
movb %al, -0x3b1(%rbp)
jmp 0xe24d
movb -0x3b1(%rbp), %al
testb $0x1, %al
jne 0xe101
jmp 0xe25d
leaq -0x10(%rbp), %rdi
callq 0x19730
addq $0x3c0, %rsp            # imm = 0x3C0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xe3b9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xe2a3
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 0xe3b9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xe2d7
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 0xe3b9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xe30e
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 0xe3b9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xe345
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 0xe3b9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xe379
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
jmp 0xe3b9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0xe3ad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x2d0(%rbp), %rdi
callq 0x16340
leaq -0x2b0(%rbp), %rdi
callq 0x16360
leaq -0x10(%rbp), %rdi
callq 0x19730
movq -0x28(%rbp), %rdi
callq 0x3420
nopl (%rax,%rax)