// File: /workspace/github_cpp_makefile_star2_O1/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 0x4e4f(%rip), %rsi      # 0x9052
leaq 0x4e50(%rip), %rdx      # 0x905a
movq %rsp, %rdi
callq 0x3e98
leaq 0x30(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x4e38(%rip), %rsi      # 0x905b
leaq 0x4e3b(%rip), %rdx      # 0x9065
leaq 0x20(%rsp), %rdi
callq 0x3e98
leaq 0x2a0(%rsp), %rdi
callq 0x538a
movb 0x2a9(%rsp), %bpl
leaq 0x170(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x4e0a(%rip), %rsi      # 0x9066
leaq 0x4e26(%rip), %rdx      # 0x9089
leaq 0x160(%rsp), %rdi
callq 0x3e98
movzbl %bpl, %esi
leaq 0x160(%rsp), %rdx
movq %rbx, %rdi
callq 0x542a
movq 0x160(%rsp), %rdi
cmpq %r13, %rdi
je 0x42a1
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 0x5526
movb 0x2a9(%rsp), %bpl
leaq 0xb0(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x4da8(%rip), %rsi      # 0x908a
leaq 0x4dc1(%rip), %rdx      # 0x90aa
leaq 0xa0(%rsp), %rdi
callq 0x3e98
testb %bpl, %bpl
je 0x473b
movq 0xa0(%rsp), %rdi
cmpq %r13, %rdi
je 0x431c
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0x3280
movb 0x2a8(%rsp), %bpl
leaq 0x90(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x4d74(%rip), %rsi      # 0x90ab
leaq 0x4d81(%rip), %rdx      # 0x90bf
leaq 0x80(%rsp), %rdi
callq 0x3e98
testb %bpl, %bpl
je 0x47a9
movq 0x80(%rsp), %rdi
cmpq %r13, %rdi
je 0x4371
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x180(%rsp), %rdi
callq 0x55fa
movb 0x1b0(%rsp), %bpl
leaq 0x150(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x4ccd(%rip), %rsi      # 0x9066
leaq 0x4ce9(%rip), %rdx      # 0x9089
leaq 0x140(%rsp), %rdi
callq 0x3e98
movzbl %bpl, %esi
leaq 0x140(%rsp), %rdx
movq %rbx, %rdi
callq 0x542a
movq 0x140(%rsp), %rdi
cmpq %r13, %rdi
je 0x43de
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 0x56d0
movb 0x1a8(%rsp), %bpl
leaq 0x70(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x4ca9(%rip), %rsi      # 0x90c0
leaq 0x4cc8(%rip), %rdx      # 0x90e6
leaq 0x60(%rsp), %rdi
callq 0x3e98
testb %bpl, %bpl
je 0x4817
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
je 0x4448
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 0x3d04
leaq 0x110(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rdx
addq %rsi, %rdx
leaq 0x100(%rsp), %rdi
callq 0x3d04
leaq 0x120(%rsp), %rsi
leaq 0x100(%rsp), %rdx
movq %rbx, %rdi
callq 0x57a4
movq 0x100(%rsp), %rdi
cmpq %rbp, %rdi
je 0x44cf
movq 0x110(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x120(%rsp), %rdi
cmpq %r13, %rdi
je 0x44ec
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x370(%rsp), %rdi
callq 0x538a
movq (%r14), %rax
movq %rsp, %rsi
leaq 0x370(%rsp), %rdx
movq %r14, %rdi
callq *0x38(%rax)
leaq 0x370(%rsp), %rdi
callq 0x5526
movb 0x378(%rsp), %bpl
leaq 0x50(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x4bb5(%rip), %rsi      # 0x90e7
leaq 0x4bc5(%rip), %rdx      # 0x90fe
leaq 0x40(%rsp), %rdi
callq 0x3e98
testb %bpl, %bpl
je 0x487f
movq 0x40(%rsp), %rdi
cmpq %r13, %rdi
je 0x4563
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x308(%rsp), %rdi
callq 0x538a
movq (%r14), %rax
movq %rsp, %rsi
leaq 0x308(%rsp), %rdx
movq %r14, %rdi
callq *0x38(%rax)
leaq 0x308(%rsp), %rdi
callq 0x5526
movb 0x310(%rsp), %bpl
leaq 0xf0(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x4b53(%rip), %rsi      # 0x90ff
leaq 0x4b60(%rip), %rdx      # 0x9113
leaq 0xe0(%rsp), %rdi
callq 0x3e98
movzbl %bpl, %esi
leaq 0xe0(%rsp), %rdx
movq %rbx, %rdi
callq 0x542a
movq 0xe0(%rsp), %rdi
cmpq %r13, %rdi
je 0x45f1
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x210(%rsp), %rdi
callq 0x55fa
movq (%r14), %rax
movq %rsp, %rsi
leaq 0x210(%rsp), %rdx
movq %r14, %rdi
callq *0x30(%rax)
leaq 0x210(%rsp), %rdi
callq 0x56d0
movb 0x238(%rsp), %bpl
leaq 0xd0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4ada(%rip), %rsi      # 0x9114
leaq 0x4af8(%rip), %rdx      # 0x9139
leaq 0xc0(%rsp), %rdi
callq 0x3e98
movzbl %bpl, %esi
leaq 0xc0(%rsp), %rdx
movq %rbx, %rdi
callq 0x542a
movq 0xc0(%rsp), %rdi
cmpq %r14, %rdi
je 0x467f
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0x210(%rsp), %rdi
callq 0x58b0
leaq 0x85ed(%rip), %rbx      # 0xcc80
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 0x58b0
leaq 0x2b0(%rsp), %rdi
movq %rbx, -0x10(%rdi)
callq 0x32c0
leaq 0x2d8(%rsp), %rdi
callq 0x3430
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x4711
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x4727
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 0x3d04
movb $0x1, %bpl
leaq 0x180(%rsp), %rsi
movq %r14, %rdi
callq 0x3300
leaq 0x847a(%rip), %rax      # 0xcc08
movq %rax, (%r14)
xorl %ebp, %ebp
leaq 0x8446(%rip), %rsi      # 0xcbe0
movq 0x881f(%rip), %rdx      # 0xcfc0
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 0x3d04
movb $0x1, %bpl
leaq 0x180(%rsp), %rsi
movq %r14, %rdi
callq 0x3300
leaq 0x840c(%rip), %rax      # 0xcc08
movq %rax, (%r14)
xorl %ebp, %ebp
leaq 0x83d8(%rip), %rsi      # 0xcbe0
movq 0x87b1(%rip), %rdx      # 0xcfc0
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 0x3d04
movb $0x1, %bpl
leaq 0x210(%rsp), %rsi
movq %r14, %rdi
callq 0x3300
leaq 0x83a4(%rip), %rax      # 0xcc08
movq %rax, (%r14)
xorl %ebp, %ebp
leaq 0x8370(%rip), %rsi      # 0xcbe0
movq 0x8749(%rip), %rdx      # 0xcfc0
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 0x3d04
movb $0x1, %bpl
leaq 0x210(%rsp), %rsi
movq %r14, %rdi
callq 0x3300
leaq 0x833c(%rip), %rax      # 0xcc08
movq %rax, (%r14)
xorl %ebp, %ebp
leaq 0x8308(%rip), %rsi      # 0xcbe0
movq 0x86e1(%rip), %rdx      # 0xcfc0
movq %r14, %rdi
callq 0x33c0
movq %rax, %rbx
movq 0x210(%rsp), %rdi
leaq 0x220(%rsp), %rax
cmpq %rax, %rdi
je 0x4917
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4917
movq %rax, %rbx
movb $0x1, %bpl
testb %bpl, %bpl
je 0x4924
movq %r14, %rdi
callq 0x31c0
movq 0x40(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bbb
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4bbb
movq %rax, %rbx
movq 0x210(%rsp), %rdi
leaq 0x220(%rsp), %rax
cmpq %rax, %rdi
je 0x4974
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4974
movq %rax, %rbx
movb $0x1, %bpl
testb %bpl, %bpl
je 0x4981
movq %r14, %rdi
callq 0x31c0
movq 0x60(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bea
movq 0x70(%rsp), %rsi
jmp 0x4b20
movq %rax, %rbx
movq 0x180(%rsp), %rdi
leaq 0x190(%rsp), %rax
cmpq %rax, %rdi
je 0x49c9
movq 0x190(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x49c9
movq %rax, %rbx
movb $0x1, %bpl
testb %bpl, %bpl
je 0x49d6
movq %r14, %rdi
callq 0x31c0
movq 0x80(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bf7
movq 0x90(%rsp), %rsi
jmp 0x4b5d
movq %rax, %rbx
movq 0x180(%rsp), %rdi
leaq 0x190(%rsp), %rax
cmpq %rax, %rdi
je 0x4a24
movq 0x190(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4a24
movq %rax, %rbx
movb $0x1, %bpl
testb %bpl, %bpl
je 0x4a31
movq %r14, %rdi
callq 0x31c0
movq 0xa0(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bf7
movq 0xb0(%rsp), %rsi
jmp 0x4b5d
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
cmpq %r14, %rdi
je 0x4b7f
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4b7f
jmp 0x4b7c
jmp 0x4b8e
movq %rax, %rbx
movq 0xe0(%rsp), %rdi
cmpq %r13, %rdi
je 0x4b91
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4b91
jmp 0x4b8e
jmp 0x4bb8
jmp 0x4bb8
jmp 0x4be7
movq %rax, %rbx
movq 0x100(%rsp), %rdi
cmpq %rbp, %rdi
je 0x4ae4
movq 0x110(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4ae4
movq %rax, %rbx
movq 0x120(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bea
movq 0x130(%rsp), %rsi
jmp 0x4b20
jmp 0x4be7
movq %rax, %rbx
movq 0x140(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bea
movq 0x150(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4bea
jmp 0x4be7
jmp 0x4be2
jmp 0x4be2
jmp 0x4be2
movq %rax, %rbx
movq 0x160(%rsp), %rdi
cmpq %r13, %rdi
je 0x4bf7
movq 0x170(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4bf7
jmp 0x4be2
movq %rax, %rbx
jmp 0x4c1c
movq %rax, %rbx
jmp 0x4c33
movq %rax, %rbx
leaq 0x210(%rsp), %rdi
callq 0x58b0
jmp 0x4b91
movq %rax, %rbx
leaq 0x80e8(%rip), %rax      # 0xcc80
leaq 0x318(%rsp), %rdi
movq %rax, -0x10(%rdi)
callq 0x32c0
leaq 0x340(%rsp), %rdi
callq 0x3430
jmp 0x4bbb
movq %rax, %rbx
leaq 0x80be(%rip), %rax      # 0xcc80
leaq 0x380(%rsp), %rdi
movq %rax, -0x10(%rdi)
callq 0x32c0
leaq 0x3a8(%rsp), %rdi
callq 0x3430
jmp 0x4bea
movq %rax, %rbx
jmp 0x4bf7
movq %rax, %rbx
leaq 0x180(%rsp), %rdi
callq 0x58b0
leaq 0x8082(%rip), %rax      # 0xcc80
leaq 0x2b0(%rsp), %rdi
movq %rax, -0x10(%rdi)
callq 0x32c0
leaq 0x2d8(%rsp), %rdi
callq 0x3430
movq 0x20(%rsp), %rdi
cmpq %r12, %rdi
je 0x4c33
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x4c49
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x3280
movq %rbx, %rdi
callq 0x33e0
nop