diff options
| author | Peter LaFosse <peter@vector35.com> | 2023-02-08 08:56:03 -0500 |
|---|---|---|
| committer | Peter LaFosse <peter@vector35.com> | 2023-02-08 11:52:37 -0500 |
| commit | 0b752f36c9d3b6bcb51a05fdcf5b38633d38bdbd (patch) | |
| tree | 74551bbf2d65f3d21a159ee006df7da45e93e398 /suite/api_test.py | |
| parent | c2f7f8acadb4aec2c4df646528692fc9bfe1abd1 (diff) | |
Add boolean for Function.user_type to indicate if a user type has been set
Diffstat (limited to 'suite/api_test.py')
| -rw-r--r-- | suite/api_test.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/suite/api_test.py b/suite/api_test.py index 39c58491..9e5431ac 100644 --- a/suite/api_test.py +++ b/suite/api_test.py @@ -2115,7 +2115,9 @@ class TestWithFunction(TestWithBinaryView): assert ft.return_value == Type.int(4) ftm = ft.mutable_copy() ftm.return_value = Type.int(4, False) + assert not ft.user_type self.func.function_type = ftm + assert ft.user_type self.func.view.update_analysis_and_wait() assert self.func.function_type.return_value == Type.int(4, False), f"{self.func.function_type.return_value} != {Type.int(4, False)}" func_str = "int32_t main(int32_t argc, char** argv, char** envp)" |