Skip to content

Add fn that checks pointers point to same allocation#3583

Merged
celinval merged 3 commits into
model-checking:mainfrom
celinval:issue-3578-valid-offset
Oct 17, 2024
Merged

Add fn that checks pointers point to same allocation#3583
celinval merged 3 commits into
model-checking:mainfrom
celinval:issue-3578-valid-offset

Remove call to pointer_object from test

a5bf2e3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs