// File: /workspace/github_cpp_makefile_star2_O2/chuckwolber[P]Cube/test/test_cube.cpp
// Function: test_constructors()
void test_constructors() {
   std::cout << "Testing constructors... ";

   Cube c1;
   verify_cube(c1, getExpected(CubieColor::WHITE,  3));

   Cube c2(CubieColor::WHITE);
   Cube c3(CubieColor::BLUE);
   Cube c4(CubieColor::GREEN);
   Cube c5(CubieColor::ORANGE);
   Cube c6(CubieColor::RED);
   Cube c7(CubieColor::YELLOW);

   verify_cube(c2, getExpected(CubieColor::WHITE,  3));
   verify_cube(c3, getExpected(CubieColor::BLUE,   3));
   verify_cube(c4, getExpected(CubieColor::GREEN,  3));
   verify_cube(c5, getExpected(CubieColor::ORANGE, 3));
   verify_cube(c6, getExpected(CubieColor::RED,    3));
   verify_cube(c7, getExpected(CubieColor::YELLOW, 3));

   for (unsigned int i = 0; i < 10; i++)
      test_sized_constructors(i);

   std::cout << "Passed" << std::endl;
}

// Assembly:
pushq %rbx
subq $0x740, %rsp            # imm = 0x740
movq 0x8574(%rip), %rdi      # 0xcfd8
leaq 0x47e9(%rip), %rsi      # 0x9254
callq 0x2130
leaq 0x6c8(%rsp), %rbx
movq %rbx, %rdi
callq 0x3a84
leaq 0x650(%rsp), %rdi
movq %rbx, %rsi
callq 0x3c1c
leaq 0x98(%rsp), %rdi
pushq $0x77
popq %rsi
pushq $0x3
popq %rdx
callq 0x707a
leaq 0x650(%rsp), %rdi
leaq 0x98(%rsp), %rsi
callq 0x6fb0
leaq 0x98(%rsp), %rdi
callq 0x48ec
leaq 0x650(%rsp), %rdi
callq 0x3e50
leaq 0x5d8(%rsp), %rdi
pushq $0x77
popq %rsi
callq 0x3bd4
leaq 0x560(%rsp), %rdi
pushq $0x62
popq %rsi
callq 0x3bd4
leaq 0x4e8(%rsp), %rdi
pushq $0x67
popq %rsi
callq 0x3bd4
leaq 0x470(%rsp), %rdi
pushq $0x6f
popq %rsi
callq 0x3bd4
leaq 0x3f8(%rsp), %rdi
pushq $0x72
popq %rsi
callq 0x3bd4
leaq 0x380(%rsp), %rdi
pushq $0x79
popq %rsi
callq 0x3bd4
leaq 0x308(%rsp), %rdi
leaq 0x5d8(%rsp), %rsi
callq 0x3c1c
leaq 0x80(%rsp), %rdi
pushq $0x77
popq %rsi
pushq $0x3
popq %rdx
callq 0x707a
leaq 0x308(%rsp), %rdi
leaq 0x80(%rsp), %rsi
callq 0x6fb0
leaq 0x80(%rsp), %rdi
callq 0x48ec
leaq 0x308(%rsp), %rdi
callq 0x3e50
leaq 0x290(%rsp), %rdi
leaq 0x560(%rsp), %rsi
callq 0x3c1c
leaq 0x68(%rsp), %rdi
pushq $0x62
popq %rsi
pushq $0x3
popq %rdx
callq 0x707a
leaq 0x290(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0x6fb0
leaq 0x68(%rsp), %rdi
callq 0x48ec
leaq 0x290(%rsp), %rdi
callq 0x3e50
leaq 0x218(%rsp), %rdi
leaq 0x4e8(%rsp), %rsi
callq 0x3c1c
leaq 0x50(%rsp), %rdi
pushq $0x67
popq %rsi
pushq $0x3
popq %rdx
callq 0x707a
leaq 0x218(%rsp), %rdi
leaq 0x50(%rsp), %rsi
callq 0x6fb0
leaq 0x50(%rsp), %rdi
callq 0x48ec
leaq 0x218(%rsp), %rdi
callq 0x3e50
leaq 0x1a0(%rsp), %rdi
leaq 0x470(%rsp), %rsi
callq 0x3c1c
leaq 0x38(%rsp), %rdi
pushq $0x6f
popq %rsi
pushq $0x3
popq %rdx
callq 0x707a
leaq 0x1a0(%rsp), %rdi
leaq 0x38(%rsp), %rsi
callq 0x6fb0
leaq 0x38(%rsp), %rdi
callq 0x48ec
leaq 0x1a0(%rsp), %rdi
callq 0x3e50
leaq 0x128(%rsp), %rdi
leaq 0x3f8(%rsp), %rsi
callq 0x3c1c
leaq 0x20(%rsp), %rdi
pushq $0x72
popq %rsi
pushq $0x3
popq %rdx
callq 0x707a
leaq 0x128(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x6fb0
leaq 0x20(%rsp), %rdi
callq 0x48ec
leaq 0x128(%rsp), %rdi
callq 0x3e50
leaq 0xb0(%rsp), %rdi
leaq 0x380(%rsp), %rsi
callq 0x3c1c
leaq 0x8(%rsp), %rdi
pushq $0x79
popq %rsi
pushq $0x3
popq %rdx
callq 0x707a
leaq 0xb0(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x6fb0
leaq 0x8(%rsp), %rdi
callq 0x48ec
leaq 0xb0(%rsp), %rdi
callq 0x3e50
xorl %ebx, %ebx
cmpl $0xa, %ebx
je 0x4d21
movl %ebx, %edi
callq 0x7461
incl %ebx
jmp 0x4d11
movq 0x82b0(%rip), %rdi      # 0xcfd8
leaq 0x453e(%rip), %rsi      # 0x926d
callq 0x2130
movq %rax, %rdi
callq 0x20a0
leaq 0x380(%rsp), %rdi
callq 0x3e50
leaq 0x3f8(%rsp), %rdi
callq 0x3e50
leaq 0x470(%rsp), %rdi
callq 0x3e50
leaq 0x4e8(%rsp), %rdi
callq 0x3e50
leaq 0x560(%rsp), %rdi
callq 0x3e50
leaq 0x5d8(%rsp), %rdi
callq 0x3e50
leaq 0x6c8(%rsp), %rdi
callq 0x3e50
addq $0x740, %rsp            # imm = 0x740
popq %rbx
retq
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x48ec
jmp 0x4db2
movq %rax, %rbx
leaq 0xb0(%rsp), %rdi
jmp 0x4e4c
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x48ec
jmp 0x4dd1
movq %rax, %rbx
leaq 0x128(%rsp), %rdi
jmp 0x4e4c
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x48ec
jmp 0x4ded
movq %rax, %rbx
leaq 0x1a0(%rsp), %rdi
jmp 0x4e4c
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
callq 0x48ec
jmp 0x4e09
movq %rax, %rbx
leaq 0x218(%rsp), %rdi
jmp 0x4e4c
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0x48ec
jmp 0x4e25
movq %rax, %rbx
leaq 0x290(%rsp), %rdi
jmp 0x4e4c
movq %rax, %rbx
leaq 0x80(%rsp), %rdi
callq 0x48ec
jmp 0x4e44
movq %rax, %rbx
leaq 0x308(%rsp), %rdi
callq 0x3e50
jmp 0x4e97
movq %rax, %rbx
jmp 0x4ea4
movq %rax, %rbx
jmp 0x4eb1
movq %rax, %rbx
jmp 0x4ebe
movq %rax, %rbx
jmp 0x4ecb
movq %rax, %rbx
jmp 0x4ed8
jmp 0x4e8d
movq %rax, %rbx
leaq 0x98(%rsp), %rdi
callq 0x48ec
jmp 0x4e83
movq %rax, %rbx
leaq 0x650(%rsp), %rdi
jmp 0x4ee0
movq %rax, %rbx
jmp 0x4ee5
jmp 0x4e94
movq %rax, %rbx
leaq 0x380(%rsp), %rdi
callq 0x3e50
leaq 0x3f8(%rsp), %rdi
callq 0x3e50
leaq 0x470(%rsp), %rdi
callq 0x3e50
leaq 0x4e8(%rsp), %rdi
callq 0x3e50
leaq 0x560(%rsp), %rdi
callq 0x3e50
leaq 0x5d8(%rsp), %rdi
callq 0x3e50
leaq 0x6c8(%rsp), %rdi
callq 0x3e50
movq %rbx, %rdi
callq 0x21a0