From 3a12af70870e6d9ca5a55e7c4a988a497f3e4234 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 16 Oct 2023 11:48:44 -0400 Subject: [PATCH] Fix LLVM/MIR confusion in mir_assume Python binding --- saw-remote-api/python/saw_client/connection.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/saw-remote-api/python/saw_client/connection.py b/saw-remote-api/python/saw_client/connection.py index 25dfc4018e..8675dcfe65 100644 --- a/saw-remote-api/python/saw_client/connection.py +++ b/saw-remote-api/python/saw_client/connection.py @@ -265,7 +265,7 @@ def mir_assume(self, function. """ self.most_recent_result = \ - LLVMAssume(self, module, function, contract, lemma_name, timeout) + MIRAssume(self, module, function, contract, lemma_name, timeout) return self.most_recent_result def mir_find_adt(self,