Skip to content

Adds posix_memalign to the list of supported builtins#2601

Merged
adpaco-aws merged 1 commit intomodel-checking:mainfrom feliperodri:posix_memalign_modelJul 11, 2023
+51

Commits

Commits on Jul 11, 2023