def test_llvm_array_swap(self):
    connect(reset_server=True)
    if (__name__ == '__main__'):
        view(LogResults())
    bcname = str(Path('tests', 'saw', 'test-files', 'llvm_array_swap.bc'))
    mod = llvm_load_module(bcname)
    result = llvm_verify(mod, 'array_swap', ArraySwapContract())
    self.assertIs(result.is_success(), True)
def test_llvm_array_swap(self):
    connect(reset_server=True)
    if (__name__ == '__main__'):
        view(LogResults())
    bcname = str(Path('tests', 'saw', 'test-files', 'llvm_array_swap.bc'))
    mod = llvm_load_module(bcname)
    result = llvm_verify(mod, 'array_swap', ArraySwapContract())
    self.assertIs(result.is_success(), True)