out_z, out_mid = yield from get_case(dut, a, b, mid)
assert out_z == z, "Output z 0x%x not equal to expected 0x%x" % (out_z, z)
assert out_mid == mid, "Output mid 0x%x != expected 0x%x" % (out_mid, mid)
out_z, out_mid = yield from get_case(dut, a, b, mid)
assert out_z == z, "Output z 0x%x not equal to expected 0x%x" % (out_z, z)
assert out_mid == mid, "Output mid 0x%x != expected 0x%x" % (out_mid, mid)