Closed dsainati1 closed 3 months ago
In https://github.com/rems-project/cerberus/pull/522 the typechecking of ptr_eq is getting stricter and would disqualify this program, as it cannot be used to compare u32 values. We can use regular == for this instead.
ptr_eq
u32
==
In https://github.com/rems-project/cerberus/pull/522 the typechecking of
ptr_eq
is getting stricter and would disqualify this program, as it cannot be used to compareu32
values. We can use regular==
for this instead.