def METHOD_NAME(self):
    import struct
    dirname = os.path.dirname(__file__)
    self.m = Manticore(os.path.join(dirname, "binaries", "basic_linux_amd64"))
    self.m.run()
    self.m.finalize()
    workspace = self.m._output.store.uri
    with open(os.path.join(workspace, "test_00000000.stdin"), "rb") as f:
        a = struct.unpack("<I", f.read())[0]
    with open(os.path.join(workspace, "test_00000001.stdin"), "rb") as f:
        b = struct.unpack("<I", f.read())[0]
    if a > 0x41:
        self.assertTrue(a > 0x41)
        self.assertTrue(b <= 0x41)
    else:
        self.assertTrue(a <= 0x41)
        self.assertTrue(b > 0x41)