def test_swap(self):
saw.connect()
if __name__ == "__main__": saw.view(saw.LogResults())
swap_bc = str(Path('tests', 'saw', 'test-files', 'swap.bc'))
mod = saw.llvm_load_module(swap_bc)
result = saw.llvm_verify(mod, 'swap', Swap())
self.assertIs(result.is_success(), True)
def setUpClass(self):
saw.connect(reset_server=True)
def env_connect_global():
server = os.environ.get('SAW_SERVER')
if not server:
server = "cabal new-exec --verbose=0 saw-remote-api"
print("Running: " + server)
saw.connect(server)