// File: /workspace/github_cpp_makefile_star2_O3/dustin[P]kvtest/tests.cc
// Function: TestTest::run(kvtest::KVStore*)
bool TestTest::run(KVStore *tut) {
    string testKey("some key");
    string testValue("some value");

    RememberingCallback<bool> cb;
    assertFalse(cb.fired, "Expected callback to not have fired");
    tut->set(testKey, testValue, cb);
    cb.waitForValue();
    assertTrue(cb.fired, "Expected callback to have fired.");
    assertTrue(cb.val, string("Failed to set value."));

    RememberingCallback<GetValue> getCb;
    assertFalse(getCb.fired, "Expected callback to not have fired");
    tut->get(testKey, getCb);
    getCb.waitForValue();
    assertTrue(getCb.val.success, "Expected success getting initial value");
    assertEquals(getCb.val.value, testValue);

    RememberingCallback<bool> delCb1;
    tut->del(testKey, delCb1);
    delCb1.waitForValue();
    assertTrue(delCb1.val,  string("Failed to delete value."));

    RememberingCallback<bool> delCb2;
    tut->del(testKey, delCb2);
    delCb2.waitForValue();
    assertFalse(delCb2.val, string("Doubly deleted value"));

    RememberingCallback<GetValue> getCb2;
    tut->get(testKey, getCb2);
    getCb2.waitForValue();
    assertFalse(getCb2.val.success, "Expected failure getting final value.");

    return true;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x3d8, %rsp            # imm = 0x3D8
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x10(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x3e67(%rip), %rsi      # 0x8052
leaq 0x3e68(%rip), %rdx      # 0x805a
movq %rsp, %rdi
callq 0x3e6c
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x3e50(%rip), %rsi      # 0x805b
leaq 0x3e53(%rip), %rdx      # 0x8065
leaq 0x20(%rsp), %rdi
callq 0x3e6c
leaq 0x2a0(%rsp), %rdi
callq 0x5364
movb 0x2a9(%rsp), %bpl
leaq 0x170(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x3e22(%rip), %rsi      # 0x8066
leaq 0x3e3e(%rip), %rdx      # 0x8089
leaq 0x160(%rsp), %rdi
callq 0x3e6c
movzbl %bpl, %esi
leaq 0x160(%rsp), %rdx
movq %rbx, %rdi
callq 0x5404
movq 0x160(%rsp), %rdi
cmpq %r13, %rdi
je 0x4289
movq 0x170(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%r14), %rax
movq %rsp, %rsi
leaq 0x20(%rsp), %rdx
leaq 0x2a0(%rsp), %rcx
movq %r14, %rdi
callq *0x20(%rax)
leaq 0x2a0(%rsp), %rdi
callq 0x54fe
movb 0x2a9(%rsp), %bpl
leaq 0xb0(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x3dc0(%rip), %rsi      # 0x808a
leaq 0x3dd9(%rip), %rdx      # 0x80aa
leaq 0xa0(%rsp), %rdi
callq 0x3e6c
testb %bpl, %bpl
je 0x4723
movq 0xa0(%rsp), %rdi
cmpq %r13, %rdi
je 0x4304
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0x3280
movb 0x2a8(%rsp), %bpl
leaq 0x90(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x3d8c(%rip), %rsi      # 0x80ab
leaq 0x3d99(%rip), %rdx      # 0x80bf
leaq 0x80(%rsp), %rdi
callq 0x3e6c
testb %bpl, %bpl
je 0x4791
movq 0x80(%rsp), %rdi
cmpq %r13, %rdi
je 0x4359
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x180(%rsp), %rdi
callq 0x55ca
movb 0x1b0(%rsp), %bpl
leaq 0x150(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x3ce5(%rip), %rsi      # 0x8066
leaq 0x3d01(%rip), %rdx      # 0x8089
leaq 0x140(%rsp), %rdi
callq 0x3e6c
movzbl %bpl, %esi
leaq 0x140(%rsp), %rdx
movq %rbx, %rdi
callq 0x5404
movq 0x140(%rsp), %rdi
cmpq %r13, %rdi
je 0x43c6
movq 0x150(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%r14), %rax
movq %rsp, %rsi
leaq 0x180(%rsp), %rdx
movq %r14, %rdi
callq *0x30(%rax)
leaq 0x180(%rsp), %rdi
callq 0x56a0
movb 0x1a8(%rsp), %bpl
leaq 0x70(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x3cc1(%rip), %rsi      # 0x80c0
leaq 0x3ce0(%rip), %rdx      # 0x80e6
leaq 0x60(%rsp), %rdi
callq 0x3e6c
testb %bpl, %bpl
je 0x47ff
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
je 0x4430
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x130(%rsp), %r13
movq %r13, -0x10(%r13)
movq 0x188(%rsp), %rsi
movq 0x190(%rsp), %rdx
addq %rsi, %rdx
leaq 0x120(%rsp), %rdi
callq 0x3cd2
leaq 0x110(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rdx
addq %rsi, %rdx
leaq 0x100(%rsp), %rdi
callq 0x3cd2
leaq 0x120(%rsp), %rsi
leaq 0x100(%rsp), %rdx
movq %rbx, %rdi
callq 0x576c
movq 0x100(%rsp), %rdi
cmpq %rbp, %rdi
je 0x44b7
movq 0x110(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x120(%rsp), %rdi
cmpq %r13, %rdi
je 0x44d4
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x370(%rsp), %rdi
callq 0x5364
movq (%r14), %rax
movq %rsp, %rsi
leaq 0x370(%rsp), %rdx
movq %r14, %rdi
callq *0x38(%rax)
leaq 0x370(%rsp), %rdi
callq 0x54fe
movb 0x378(%rsp), %bpl
leaq 0x50(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x3bcd(%rip), %rsi      # 0x80e7
leaq 0x3bdd(%rip), %rdx      # 0x80fe
leaq 0x40(%rsp), %rdi
callq 0x3e6c
testb %bpl, %bpl
je 0x4867
movq 0x40(%rsp), %rdi
cmpq %r13, %rdi
je 0x454b
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x308(%rsp), %rdi
callq 0x5364
movq (%r14), %rax
movq %rsp, %rsi
leaq 0x308(%rsp), %rdx
movq %r14, %rdi
callq *0x38(%rax)
leaq 0x308(%rsp), %rdi
callq 0x54fe
movb 0x310(%rsp), %bpl
leaq 0xf0(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x3b6b(%rip), %rsi      # 0x80ff
leaq 0x3b78(%rip), %rdx      # 0x8113
leaq 0xe0(%rsp), %rdi
callq 0x3e6c
movzbl %bpl, %esi
leaq 0xe0(%rsp), %rdx
movq %rbx, %rdi
callq 0x5404
movq 0xe0(%rsp), %rdi
cmpq %r13, %rdi
je 0x45d9
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x210(%rsp), %rdi
callq 0x55ca
movq (%r14), %rax
movq %rsp, %rsi
leaq 0x210(%rsp), %rdx
movq %r14, %rdi
callq *0x30(%rax)
leaq 0x210(%rsp), %rdi
callq 0x56a0
movb 0x238(%rsp), %bpl
leaq 0xd0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3af2(%rip), %rsi      # 0x8114
leaq 0x3b10(%rip), %rdx      # 0x8139
leaq 0xc0(%rsp), %rdi
callq 0x3e6c
movzbl %bpl, %esi
leaq 0xc0(%rsp), %rdx
movq %rbx, %rdi
callq 0x5404
movq 0xc0(%rsp), %rdi
cmpq %r14, %rdi
je 0x4667
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x210(%rsp), %rdi
callq 0x5874
leaq 0x7605(%rip), %rbx      # 0xbc80
leaq 0x318(%rsp), %rdi
movq %rbx, -0x10(%rdi)
callq 0x32c0
leaq 0x340(%rsp), %rdi
callq 0x3430
leaq 0x380(%rsp), %rdi
movq %rbx, -0x10(%rdi)
callq 0x32c0
leaq 0x3a8(%rsp), %rdi
callq 0x3430
leaq 0x180(%rsp), %rdi
callq 0x5874
leaq 0x2b0(%rsp), %rdi
movq %rbx, -0x10(%rdi)
callq 0x32c0
leaq 0x2d8(%rsp), %rdi
callq 0x3430
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x46f9
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x470f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x3280
movb $0x1, %al
addq $0x3d8, %rsp            # imm = 0x3D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x10, %edi
callq 0x3100
movq %rax, %r14
leaq 0x190(%rsp), %rax
movq %rax, -0x10(%rax)
movq 0xa0(%rsp), %rsi
movq 0xa8(%rsp), %rdx
addq %rsi, %rdx
leaq 0x180(%rsp), %rdi
callq 0x3cd2
movb $0x1, %bpl
leaq 0x180(%rsp), %rsi
movq %r14, %rdi
callq 0x3300
leaq 0x7492(%rip), %rax      # 0xbc08
movq %rax, (%r14)
xorl %ebp, %ebp
leaq 0x745e(%rip), %rsi      # 0xbbe0
movq 0x7837(%rip), %rdx      # 0xbfc0
movq %r14, %rdi
callq 0x33c0
movl $0x10, %edi
callq 0x3100
movq %rax, %r14
leaq 0x190(%rsp), %rax
movq %rax, -0x10(%rax)
movq 0x80(%rsp), %rsi
movq 0x88(%rsp), %rdx
addq %rsi, %rdx
leaq 0x180(%rsp), %rdi
callq 0x3cd2
movb $0x1, %bpl
leaq 0x180(%rsp), %rsi
movq %r14, %rdi
callq 0x3300
leaq 0x7424(%rip), %rax      # 0xbc08
movq %rax, (%r14)
xorl %ebp, %ebp
leaq 0x73f0(%rip), %rsi      # 0xbbe0
movq 0x77c9(%rip), %rdx      # 0xbfc0
movq %r14, %rdi
callq 0x33c0
movl $0x10, %edi
callq 0x3100
movq %rax, %r14
leaq 0x220(%rsp), %rax
movq %rax, -0x10(%rax)
movq 0x60(%rsp), %rsi
movq 0x68(%rsp), %rdx
addq %rsi, %rdx
leaq 0x210(%rsp), %rdi
callq 0x3cd2
movb $0x1, %bpl
leaq 0x210(%rsp), %rsi
movq %r14, %rdi
callq 0x3300
leaq 0x73bc(%rip), %rax      # 0xbc08
movq %rax, (%r14)
xorl %ebp, %ebp
leaq 0x7388(%rip), %rsi      # 0xbbe0
movq 0x7761(%rip), %rdx      # 0xbfc0
movq %r14, %rdi
callq 0x33c0
movl $0x10, %edi
callq 0x3100
movq %rax, %r14
leaq 0x220(%rsp), %rax
movq %rax, -0x10(%rax)
movq 0x40(%rsp), %rsi
movq 0x48(%rsp), %rdx
addq %rsi, %rdx
leaq 0x210(%rsp), %rdi
callq 0x3cd2
movb $0x1, %bpl
leaq 0x210(%rsp), %rsi
movq %r14, %rdi
callq 0x3300
leaq 0x7354(%rip), %rax      # 0xbc08
movq %rax, (%r14)
xorl %ebp, %ebp
leaq 0x7320(%rip), %rsi      # 0xbbe0
movq 0x76f9(%rip), %rdx      # 0xbfc0
movq %r14, %rdi
callq 0x33c0
movq %rax, %rbx
movq 0x210(%rsp), %rdi
leaq 0x220(%rsp), %rax
cmpq %rax, %rdi
je 0x48f7
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x3280
testb %bpl, %bpl
jne 0x4901
jmp 0x4909
movq %rax, %rbx
movq %r14, %rdi
callq 0x31c0
movq 0x40(%rsp), %rdi
cmpq %r13, %rdi
je 0x4b97
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4b97
movq %rax, %rbx
movq 0x210(%rsp), %rdi
leaq 0x220(%rsp), %rax
cmpq %rax, %rdi
je 0x4951
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x3280
testb %bpl, %bpl
jne 0x495b
jmp 0x4963
movq %rax, %rbx
movq %r14, %rdi
callq 0x31c0
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bc6
movq 0x70(%rsp), %rsi
jmp 0x4afc
movq %rax, %rbx
movq 0x180(%rsp), %rdi
leaq 0x190(%rsp), %rax
cmpq %rax, %rdi
je 0x49a3
movq 0x190(%rsp), %rsi
incq %rsi
callq 0x3280
testb %bpl, %bpl
jne 0x49ad
jmp 0x49b5
movq %rax, %rbx
movq %r14, %rdi
callq 0x31c0
movq 0x80(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bd3
movq 0x90(%rsp), %rsi
jmp 0x4b39
movq %rax, %rbx
movq 0x180(%rsp), %rdi
leaq 0x190(%rsp), %rax
cmpq %rax, %rdi
je 0x49fb
movq 0x190(%rsp), %rsi
incq %rsi
callq 0x3280
testb %bpl, %bpl
jne 0x4a05
jmp 0x4a0d
movq %rax, %rbx
movq %r14, %rdi
callq 0x31c0
movq 0xa0(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bd3
movq 0xb0(%rsp), %rsi
jmp 0x4b39
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
cmpq %r14, %rdi
je 0x4b5b
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4b5b
jmp 0x4b58
jmp 0x4b6a
movq %rax, %rbx
movq 0xe0(%rsp), %rdi
cmpq %r13, %rdi
je 0x4b6d
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4b6d
jmp 0x4b6a
jmp 0x4b94
jmp 0x4b94
jmp 0x4bc3
movq %rax, %rbx
movq 0x100(%rsp), %rdi
cmpq %rbp, %rdi
je 0x4ac0
movq 0x110(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4ac0
movq %rax, %rbx
movq 0x120(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bc6
movq 0x130(%rsp), %rsi
jmp 0x4afc
jmp 0x4bc3
movq %rax, %rbx
movq 0x140(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bc6
movq 0x150(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4bc6
jmp 0x4bc3
jmp 0x4bbe
jmp 0x4bbe
jmp 0x4bbe
movq %rax, %rbx
movq 0x160(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bd3
movq 0x170(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4bd3
jmp 0x4bbe
movq %rax, %rbx
jmp 0x4bf8
movq %rax, %rbx
jmp 0x4c0f
movq %rax, %rbx
leaq 0x210(%rsp), %rdi
callq 0x5874
jmp 0x4b6d
movq %rax, %rbx
leaq 0x710c(%rip), %rax      # 0xbc80
leaq 0x318(%rsp), %rdi
movq %rax, -0x10(%rdi)
callq 0x32c0
leaq 0x340(%rsp), %rdi
callq 0x3430
jmp 0x4b97
movq %rax, %rbx
leaq 0x70e2(%rip), %rax      # 0xbc80
leaq 0x380(%rsp), %rdi
movq %rax, -0x10(%rdi)
callq 0x32c0
leaq 0x3a8(%rsp), %rdi
callq 0x3430
jmp 0x4bc6
movq %rax, %rbx
jmp 0x4bd3
movq %rax, %rbx
leaq 0x180(%rsp), %rdi
callq 0x5874
leaq 0x70a6(%rip), %rax      # 0xbc80
leaq 0x2b0(%rsp), %rdi
movq %rax, -0x10(%rdi)
callq 0x32c0
leaq 0x2d8(%rsp), %rdi
callq 0x3430
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x4c0f
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x4c25
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x3280
movq %rbx, %rdi
callq 0x33e0
nop